Computer Aided Verification [E-Book] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan.
Chaudhuri, Swarat, (editor)
Farzan, Azadeh, (editor)
Cham : Springer, 2016
XVII, 521 p. 126 illus. online resource.
englisch
9783319415406
10.1007/978-3-319-41540-6
Lecture notes in computer science ; 9780
Full Text
Table of Contents:
  • Probabilistic systems
  • Synthesis
  • Constraint solving
  • Model checking
  • Program analysis
  • Timed and hybrid systems
  • Verification in practice
  • Concurrency
  • Automata and games.