Cover Image

Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY /

Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges t...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Ahrendt, Wolfgang. (Editor, http://id.loc.gov/vocabulary/relators/edt), Beckert, Bernhard. (Editor, http://id.loc.gov/vocabulary/relators/edt), Bubel, Richard. (Editor, http://id.loc.gov/vocabulary/relators/edt), Hähnle, Reiner. (Editor, http://id.loc.gov/vocabulary/relators/edt), Ulbrich, Mattias. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2020.
Edition:1st ed. 2020.
Series:Programming and Software Engineering ; 12345
Subjects:
Software engineering.
Computer logic.
Artificial intelligence.
Application software.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Artificial Intelligence.
Information Systems Applications (incl. Internet).
Online Access:https://doi.org/10.1007/978-3-030-64354-6

Internet

https://doi.org/10.1007/978-3-030-64354-6

Similar Items