Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.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 to support advanced software engineering and programming concepts. The community became more interconnected with a competitive, but friendly and supportive environment.We took the 20-year anniversary of KeY as an opportunity…
Mehr
CHF 95.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Beckert, Bernhard (Hrsg.) / Ulbrich, Mattias (Hrsg.) / Hähnle, Reiner (Hrsg.) / Bubel, Richard (Hrsg.)
- ISBN: 978-3-030-64353-9
- EAN: 9783030643539
- Produktnummer: 35425698
- Verlag: Springer International Publishing
- Sprache: Englisch
- Erscheinungsjahr: 2020
- Seitenangabe: 352 S.
- Masse: H23.5 cm x B15.5 cm x D1.8 cm 534 g
- Auflage: 1st ed. 2020
- Abbildungen: Paperback
- Gewicht: 534
8 weitere Werke von Wolfgang (Hrsg.) Ahrendt:
Bewertungen
Anmelden