Verification, Model Checking, and Abstract Interpretation [E-Book] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / edited by Barbara Jobstmann, K. Rustan M. Leino.
Jobstmann, Barbara. (editor)
Leino, K. Rustan M. (editor)
1st ed. 2016.
Berlin, Heidelberg : Springer, 2016
XIII, 558 p. 123 illus. in color. online resource.
englisch
9783662491225
10.1007/978-3-662-49122-5
Lecture notes in computer science ; 9583
Full Text
Table of Contents:
  • Abstract Interpretation
  • Abstraction
  • Hybrid and Timed Systems
  • Dynamic and Static Verification
  • Probabilistic Systems
  • Concurrent Programs
  • Parameterized and Component-Based Systems
  • Solver Improvements.