Top of page

Book/Printed Material Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

View Enlarged Image

About this Item

Title

  • Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Summary

  • This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.

Names

  • Chockler, Hana, editor.
  • Weissenbacher, Georg, editor.

Created / Published

  • Cham : Springer International Publishing : Imprint: Springer, 2018.

Headings

  • -  Algorithms
  • -  Artificial intelligence
  • -  Computer logic
  • -  Computer simulation
  • -  Mathematical logic
  • -  Software engineering
  • -  Logics and Meanings of Programs
  • -  Algorithm Analysis and Problem Complexity
  • -  Artificial Intelligence
  • -  Mathematical Logic and Formal Languages
  • -  Simulation and Modeling
  • -  Software Engineering

Notes

  • -  Description based on publisher-supplied MARC data.
  • -  Computer Science (R0) (SpringerNature-43710)
  • -  Computer Science (SpringerNature-11645)

Medium

  • 1 online resource (XIX, 703 pages 146 illustrations)

Digital Id

Library of Congress Control Number

  • 2019768549

Rights Advisory

Access Advisory

  • Unrestricted online access
  • Open Access

Online Format

  • image
  • epub

Additional Metadata Formats

Rights & Access

The books in this collection are licensed under open access licenses allowing for the reuse and distribution of each book following the terms described in each license. Researchers should consult the Rights Advisory statement for each title and the accompanying license details for information about rights and permissions associated with each of the licenses.

More about Copyright and other Restrictions.

Cite This Item

Citations are generated automatically from bibliographic data as a convenience, and may not be complete or accurate.

Chicago citation style:

Chockler, Hana, and Georg Weissenbacher, editor. Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, Flo, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Cham: Springer International Publishing: Imprint: Springer, 2018. Image. https://aj.sunback.homes/item/2019768549/.

APA citation style:

Chockler, H. & Weissenbacher, G., editor. (2018) Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, Flo, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Cham: Springer International Publishing: Imprint: Springer. [Image] Retrieved from the Library of Congress, https://aj.sunback.homes/item/2019768549/.

MLA citation style:

Chockler, Hana, and Georg Weissenbacher, editor. Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, Flo, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Cham: Springer International Publishing: Imprint: Springer, 2018. Image. Retrieved from the Library of Congress, <aj.sunback.homes/item/2019768549/>.