220 followers
Quantifying Conformance Using the Skorokhod Metric. - Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu http://t.co/RH6Zux75jU
Computer Aided Verification
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Poling: SMT Aided Linearizability Proofs
-
Altmetric BadgeChapter 2 Finding Bounded Path in Graph Using SMT for Automatic Clock Routing
-
Altmetric BadgeChapter 3 Cutting the Mix
-
Altmetric BadgeChapter 4 The Inez Mathematical Programming Modulo Theories Framework
-
Altmetric BadgeChapter 5 Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets
-
Altmetric BadgeChapter 6 Deciding Local Theory Extensions via E-matching
-
Altmetric BadgeChapter 7 Modular Deductive Verification of Multiprocessor Hardware Designs
-
Altmetric BadgeChapter 8 Word-Level Symbolic Trajectory Evaluation
-
Altmetric BadgeChapter 9 Verifying Linearizability of Intel® Software Guard Extensions
-
Altmetric BadgeChapter 10 Synthesis Through Unification
-
Altmetric BadgeChapter 11 From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis
-
Altmetric BadgeChapter 12 Counterexample-Guided Quantifier Instantiation for Synthesis in SMT
-
Altmetric BadgeChapter 13 Deductive Program Repair
-
Altmetric BadgeChapter 14 Quantifying Conformance Using the Skorokhod Metric
-
Altmetric BadgeChapter 15 Pareto Curves of Multidimensional Mean-Payoff Games
-
Altmetric BadgeChapter 16 Conflict-Driven Conditional Termination
-
Altmetric BadgeChapter 17 Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs
-
Altmetric BadgeChapter 18 Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions
-
Altmetric BadgeChapter 19 Measuring with Timed Patterns
-
Altmetric BadgeChapter 20 Automatic Verification of Stability and Safety for Delay Differential Equations
-
Altmetric BadgeChapter 21 Time Robustness in MTL and Expressivity in Hybrid System Falsification
-
Altmetric BadgeChapter 22 Adaptive Concretization for Parallel Program Synthesis
-
Altmetric BadgeChapter 23 Automatic Completion of Distributed Protocols with Symmetry
-
Altmetric BadgeChapter 24 An Axiomatic Specification for Sequential Memory Models
-
Altmetric BadgeChapter 25 Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems
-
Altmetric BadgeChapter 26 Automated and Modular Refinement Reasoning for Concurrent Programs