1st Edition 2021, 2021
Volltextzugriff (PDF)
Details
- Autor(en) / Beteiligte
- Titel
- Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
- Auflage
- 1st Edition 2021
- Ort / Verlag
- Cham: Springer Nature
- Erscheinungsjahr
- 2021
- Quelle
- Alma/SFX Local Collection
- Beschreibungen/Notizen
- This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 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.
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783030846299, 3030846296, 3030846288, 9783030846282ISSN: 0302-9743eISSN: 1611-3349DOI: 10.1007/978-3-030-84629-9Titel-ID: cdi_askewsholts_vlebooks_9783030846299
- Format
- –
- Schlagworte
- Algorithm Analysis and Problem Complexity, Computer programming, programs, data, Computer Science, Computer simulation-Testing-Congresses, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Simulation and Modeling, Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems