Model checking software : 28th International Symposium, SPIN 2022, virtual event, May 21, 2022, Proceedings / Owolabi Legunsen, Grigore Rosu (eds.).
2022
QA76.76.V47 I58 2022eb
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Model checking software : 28th International Symposium, SPIN 2022, virtual event, May 21, 2022, Proceedings / Owolabi Legunsen, Grigore Rosu (eds.).
Meeting Name
International SPIN Workshop (28th : 2022 : Online)
ISBN
9783031150777 (electronic bk.)
3031150775 (electronic bk.)
9783031150760
3031150767
3031150775 (electronic bk.)
9783031150760
3031150767
Imprint
Cham : Springer, 2022.
Language
English
Description
1 online resource (161 pages)
Other Standard Identifiers
10.1007/978-3-031-15077-7 doi
Call Number
QA76.76.V47 I58 2022eb
Dewey Decimal Classification
005.1/4
Summary
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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 1, 2022).
Added Author
Legunsen, Owolabi.
Roşu, Grigore.
Roşu, Grigore.
Series
Lecture notes in computer science ; 13255.
Available in Other Form
Model Checking Software.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Automated Consistency Analysis for Legal Contracts
Monitoring Cyber-Physical Systems using a Tiny Twin to Prevent Cyber-Attacks
Synthesis of Rigorous Floating-Point Predicates
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench
Bounded-Memory Runtime Enforcement
Solving String Theories involving Regular Membership Predicates using SAT.
Monitoring Cyber-Physical Systems using a Tiny Twin to Prevent Cyber-Attacks
Synthesis of Rigorous Floating-Point Predicates
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench
Bounded-Memory Runtime Enforcement
Solving String Theories involving Regular Membership Predicates using SAT.