Deductive software verification: future perspectives: reflections on the occasion of 20 years of key
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030643539
Date de publication :
9 déc. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.