Gå direkte til innholdet
Deductive Software Verification: Future Perspectives
Spar

Deductive Software Verification: Future Perspectives

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.

Undertittel
Reflections on the Occasion of 20 Years of KeY
Opplag
1st ed. 2020
ISBN
9783030643539
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
9.12.2020
Antall sider
339