State of the Art in Software Verification and Witness Validation: SV-COMP 2024
Book chapter (April 2024)
Hardware and Software: Verification and Testing
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 SAT-Based Combinational and Sequential Dependency Computation
-
Altmetric BadgeChapter 2 Multi-core SCC-Based LTL Model Checking
-
Altmetric BadgeChapter 3 Gating Aware Error Injection
-
Altmetric BadgeChapter 4 ddNF: An Efficient Data Structure for Header Spaces
-
Altmetric BadgeChapter 5 Probabilistic Fault Localisation
-
Altmetric BadgeChapter 6 Iterative User-Driven Fault Localization
-
Altmetric BadgeChapter 7 Improving Efficiency and Accuracy of Formula-Based Debugging
-
Altmetric BadgeChapter 8 Improving Priority Promotion for Parity Games
-
Altmetric BadgeChapter 9 Synthesis of Admissible Shields
-
Altmetric BadgeChapter 10 Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques
-
Altmetric BadgeChapter 11 Formula Slicing: Inductive Invariants from Preconditions
-
Altmetric BadgeChapter 12 Advancing Software Model Checking Beyond Linear Arithmetic Theories
-
Altmetric BadgeChapter 13 Predator Shape Analysis Tool Suite
Attention for Chapter 10:
Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques