Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Swarat Chaudhuri, Azadeh Farzan (Herausgeber)

Buch | Softcover

XVII, 541 Seiten

2016 | 1st ed. 2016
Springer International Publishing (Verlag)
978-3-319-41527-7 (ISBN)

Artikel merken

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.

The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.

Probabilistic systems.- Synthesis.- Constraint solving.- Model checking.- Program analysis.- Timed and hybrid systems.- Verification in practice.- Concurrency.- Automata and games.

Erscheinungsdatum	08.10.2016
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XVII, 541 p. 125 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Informatik ► Weitere Themen ► Hardware
Schlagworte	Abstract Interpretation • Applications • Automata • Case study • Computer Science • Concurrency • conference proceedings • Distributed Systems • fault tolerance • formal methods • Informatics • Logics and meanings of programs • Model Checking • Nonlinear Systems • program analysis • Programming Language Semantics • Research • Safety-Critical Systems • semantics and reasoning • Software engineering • solvers • synthesis • temporal logic • theorem proving • verification • web security
ISBN-10	3-319-41527-1 / 3319415271
ISBN-13	978-3-319-41527-7 / 9783319415277
Zustand	Neuware