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.
| ISBN: | 9783030309220 |
| Publication date: | 14th September 2019 |
| Author: | Fabrizio Biondi |
| Publisher: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Pagination: | 261 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Algorithms and data structures Computer modelling and simulation Systems analysis and design |
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.
Model Checking Software features in the following genres: Software Engineering, Mathematical theory of computation, Algorithms and data structures, Computer modelling and simulation, Systems analysis and design
Model Checking Software is available in Paperback
Model Checking Software was written by Fabrizio Biondi and published by Springer Nature Switzerland AG
Model Checking Software has 261 pages
Yes it is part of Lecture Notes in Computer Science series
£40.49