Verified Software. Theories, Tools, and Experiments [E-Book] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / edited by Sandrine Blazy, Marsha Chechik.
Blazy, Sandrine, (editor)
Chechik, Marsha, (editor)
Cham : Springer, 2016
XIV, 199 p. 36 illus. online resource.
englisch
9783319488691
10.1007/978-3-319-48869-1
Lecture notes in computer science ; 9971
Full Text
Table of Contents:
  • Education
  • requirements modeling
  • specification languages
  • specification/verification
  • formal calculi
  • software design methods
  • automatic code generation
  • refinement methodologies
  • compositional analysis
  • verification tools
  • Tool integration
  • Benchmarks
  • Challenge problems
  • Integrated verification environments. .