Concise Guide to Software Verification From Model Checking to Annotation Checking /

Ever since the beginnings of the development of software, researchers have been thinking about how to guarantee its correctness. Formal methods are techniques that can be used to improve software reliability and robustness. This concise volume overviews the whole spectrum of formal methods and techn...

Full description

Bibliographic Details

Main Authors:	Huisman, Marieke (Author), Wijs, Anton (Author)
Corporate Author:	SpringerLink (Online service)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Texts in Computer Science,
Subjects:	Computer programs > Testing. Software engineering. Number theory. Software Testing. Software Engineering. Computational Number Theory.
Online Access:	https://doi.org/10.1007/978-3-031-30167-4
Tags:	Add Tag No Tags, Be the first to tag this record!