Vai al contenuto principale della pagina
Titolo: | Model Checking Software : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / / edited by Alfons Laarman, Ana Sokolova |
Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Edizione: | 1st ed. 2021. |
Descrizione fisica: | 1 online resource (X, 195 p. 70 illus., 43 illus. in color.) |
Disciplina: | 005.14 |
Soggetto topico: | Software engineering |
Machine theory | |
Computer science | |
Algorithms | |
Computer simulation | |
Computers, Special purpose | |
Software Engineering | |
Formal Languages and Automata Theory | |
Computer Science Logic and Foundations of Programming | |
Design and Analysis of Algorithms | |
Computer Modelling | |
Special Purpose and Application-Based Systems | |
Persona (resp. second.): | LaarmanAlfons |
SokolovaAna | |
Nota di bibliografia: | Includes bibliographical references and index. |
Nota di contenuto: | Invited Talks -- The marriage between safety and cybersecurity: still practicing -- A Hands-on Introduction to Spatial Model Checking using VoxLogicA -- Model Checking -- Accelerating the Computation of Dead and Concurrent Places using Reductions -- Spotlight Abstraction in Model Checking Real-Time Task Schedulability -- Verifying Pipeline Implementations in OpenMP -- Tool Papers -- C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs -- PatEC: Pattern-based Equivalence Checking -- Go2Pins: a framework for the LTL verification of Go programs -- Probabilistic Model Checking of Randomized Java Code -- Case Studies -- A model-checked I2C specification. |
Sommario/riassunto: | 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. |
Titolo autorizzato: | Model Checking Software |
ISBN: | 3-030-84629-6 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910494555103321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |