Model Checking Software [E-Book] : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings / edited by Owolabi Legunsen, Grigore Rosu.
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 analys...
Saved in:
Full text |
|
Personal Name(s): | Legunsen, Owolabi, editor |
Rosu, Grigore, editor | |
Edition: |
1st edition 2022. |
Imprint: |
Cham :
Springer,
2022
|
Physical Description: |
IX, 153 pages 41 illustrations, 27 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783031150777 |
DOI: |
10.1007/978-3-031-15077-7 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture Notes in Computer Science ;
13255 |
Subject (LOC): |
- 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.