165 followers
Synthesis of Admissible Shields https://t.co/SPJMSuUWLa
640 followers
"Synthesis of Admissible Shields. (arXiv:1904.06938v1 [cs.LO])" #arXiv https://t.co/l7kcwNuvYA
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