This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.
The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Reihe
Sprache
Verlagsort
Verlagsgruppe
Springer International Publishing
Illustrationen
41
564 s/w Abbildungen, 41 farbige Abbildungen
X, 261 p. 605 illus., 41 illus. in color.
Dateigröße
ISBN-13
978-3-030-30923-7 (9783030309237)
DOI
10.1007/978-3-030-30923-7
Schweitzer Klassifikation
