Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Biondi, Fabrizio (Editor, http://id.loc.gov/vocabulary/relators/edt), Given-Wilson, Thomas (Editor, http://id.loc.gov/vocabulary/relators/edt), Legay, Axel (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Theoretical Computer Science and General Issues ; 11636
• Subjects: Software engineering.; Computer logic.; Algorithms.; Mathematical logic.; Computer simulation.; Computer system failures.; Software Engineering.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Simulation and Modeling.; System Performance and Evaluation.
• Physical Description: X, 261 p. 605 illus., 41 illus. in color. online resource.
• ISBN: 9783030309237
• DOI: 10.1007/978-3-030-30923-7

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. .