Related Books

Deductive Software Verification: Future Perspectives
Language: en
Pages: 345
Authors: Wolfgang Ahrendt
Categories: Computers
Type: BOOK - Published: 2020-12-08 - Publisher: Springer Nature

DOWNLOAD EBOOK

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 pr
Deductive Software Verification: Future Perspectives
Language: en
Pages: 339
Authors: Wolfgang Ahrendt
Categories: Computers
Type: BOOK - Published: 2020-12-09 - Publisher: Springer

DOWNLOAD EBOOK

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 pr
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Language: en
Pages: 608
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2022-10-19 - Publisher: Springer Nature

DOWNLOAD EBOOK

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of
The Logic of Software. A Tasting Menu of Formal Methods
Language: en
Pages: 531
Authors: Wolfgang Ahrendt
Categories: Computers
Type: BOOK - Published: 2022-07-04 - Publisher: Springer Nature

DOWNLOAD EBOOK

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After position
Formal Methods for Industrial Critical Systems
Language: en
Pages: 246
Authors: Jan Friso Groote
Categories: Computers
Type: BOOK - Published: 2022-09-05 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Wa