Hungarian
Computer Aided Verification
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Automata Tutor v3
-
Altmetric BadgeChapter 2 Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization
-
Altmetric BadgeChapter 3 RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
-
Altmetric BadgeChapter 4 Realizing $$\omega $$ -regular Hyperproperties
-
Altmetric BadgeChapter 5 AdamMC : A Model Checker for Petri Nets with Transits against Flow-LTL
-
Altmetric BadgeChapter 6 Action-Based Model Checking: Logic, Automata, and Reduction
-
Altmetric BadgeChapter 7 Global Guidance for Local Generalization in Model Checking
-
Altmetric BadgeChapter 8 Towards Model Checking Real-World Software-Defined Networks
-
Altmetric BadgeChapter 9 Code2Inv: A Deep Learning Framework for Program Verification
-
Altmetric BadgeChapter 10 MetaVal: Witness Validation via Verification
-
Altmetric BadgeChapter 11 Recursive Data Structures in SPARK
-
Altmetric BadgeChapter 12 Ivy: A Multi-modal Verification Tool for Distributed Algorithms
-
Altmetric BadgeChapter 13 Reasoning over Permissions Regions in Concurrent Separation Logic
-
Altmetric BadgeChapter 14 Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic
-
Altmetric BadgeChapter 15 Maximum Causal Entropy Specification Inference from Demonstrations
-
Altmetric BadgeChapter 16 Certifying Certainty and Uncertainty in Approximate Membership Query Structures
-
Altmetric BadgeChapter 17 Global PAC Bounds for Learning Discrete Time Markov Chains
-
Altmetric BadgeChapter 18 Unbounded-Time Safety Verification of Stochastic Differential Dynamics
-
Altmetric BadgeChapter 19 Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
-
Altmetric BadgeChapter 20 Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
-
Altmetric BadgeChapter 21 Stochastic Games with Lexicographic Reachability-Safety Objectives
-
Altmetric BadgeChapter 22 Qualitative Controller Synthesis for Consumption Markov Decision Processes
-
Altmetric BadgeChapter 23 STMC: Statistical Model Checker with Stratified and Antithetic Sampling
-
Altmetric BadgeChapter 24 AMYTISS : Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
-
Altmetric BadgeChapter 25 PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
-
Altmetric BadgeChapter 26 Optimistic Value Iteration
-
Altmetric BadgeChapter 27 PrIC3 : Property Directed Reachability for MDPs
-
Altmetric BadgeChapter 28 Good-Enough Synthesis
-
Altmetric BadgeChapter 29 Synthesizing JIT Compilers for In-Kernel DSLs
-
Altmetric BadgeChapter 30 Program Synthesis Using Deduction-Guided Reinforcement Learning
-
Altmetric BadgeChapter 31 Manthan: A Data-Driven Approach for Boolean Function Synthesis
-
Altmetric BadgeChapter 32 Decidable Synthesis of Programs with Uninterpreted Functions
-
Altmetric BadgeChapter 33 Must Fault Localization for Program Repair
Altmetric Badge
Citations
- dimensions_citation
- 4 Dimensions