Model Checking Software: 28Th International Symposium, Spin 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes In Computer Science, 13255)
Springer
ISBN13:
9783031150760
$124.69
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022. The 8 full papers were carefully reviewed and selected from 11 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.
- | Author: Owolabi Legunsen|Grigore Rosu
- | Publisher: Springer
- | Publication Date: Aug 23, 2022
- | Number of Pages: 162 pages
- | Language: English
- | Binding: Paperback/Computers
- | ISBN-10: 3031150767
- | ISBN-13: 9783031150760
- Author:
- Owolabi Legunsen, Grigore Rosu
- Publisher:
- Springer
- Publication Date:
- Aug 23, 2022
- Number of pages:
- 162 pages
- Language:
- English
- Binding:
- Paperback/Computers
- ISBN-10:
- 3031150767
- ISBN-13:
- 9783031150760