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...
| Other Authors: | Ahrendt, Wolfgang,, Beckert, Bernhard,, Bubel, Richard,, Hähnle, Reiner,, Ulbrich, Mattias,, SpringerLink (Online service) |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer,
[2020]
|
| Physical Description: |
1 online resource (xii, 339 pages) : illustrations (some color). |
| Series: |
Lecture notes in computer science ;
12345. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |