![Für diesen Artikel ist leider kein Bild verfügbar.](/img/platzhalter480px.png)
Model Checking Software
Springer International Publishing (Verlag)
978-3-031-66148-8 (ISBN)
- Noch nicht erschienen - erscheint am 09.09.2024
- Versandkostenfrei innerhalb Deutschlands
- Auch auf Rechnung
- Verfügbarkeit in der Filiale vor Ort prüfen
- Artikel merken
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.
The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight.- MoXI: An Intermediate Language for Symbolic Model Checking. Model Checking: Synchronisation in Language-level Symmetry Reduction for Probabilistic Model Checking.- A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method. Anniversary: Two Decades of Industrializing Formal Verification: The Reactis Story.- Automated Reasoning in Quantum Circuit Compilation. Automated Reasoning: Random Access on Narrow Decision Diagrams in External Memory.- Solving Constrained Horn Clauses as C Programs with CHC2C. Verification Tools: Learning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case Study.- Tolerange: Quantifying Fault Masking in Stochastic Systems.- Software Verification Witnesses 2.0.- Fault Localization on Verification Witnesses. Software Verification: Augmenting Interpolation-Based Model Checking with Auxiliary Invariants.- Test-Case Generation with Automata-based Software Model Checking.
Erscheint lt. Verlag | 9.9.2024 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | Approx. 260 p. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Technik ► Elektrotechnik / Energietechnik |
Schlagworte | architecture verification and validation • Artificial Intelligence • computer programming • Computer systems • Embedded Systems • Engineering • Formal Languages • Formal Logic • formal methods • graph theory • Model Checking • Programming Languages • Signal Processing • software architecture • Software Design • Software engineering • Software Quality • theoretical computer science • Verification and Validation |
ISBN-10 | 3-031-66148-6 / 3031661486 |
ISBN-13 | 978-3-031-66148-8 / 9783031661488 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich