The following pages link to Computer Aided Verification (Q2864836):
Displayed 50 items.
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (Q2864837) (← links)
- Efficient Generation of Small Interpolants in CNF (Q2864838) (← links)
- Generating Non-linear Interpolants by Semidefinite Programming (Q2864839) (← links)
- Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties (Q2864840) (← links)
- TRACER: A Symbolic Execution Tool for Verification (Q2903126) (← links)
- Synthesis of Masking Countermeasures against Side Channel Attacks (Q2920987) (← links)
- An SMT-Based Approach to Coverability Analysis (Q2920990) (← links)
- AVATAR: The Architecture for First-Order Theorem Provers (Q2920991) (← links)
- QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers (Q2920992) (← links)
- Linear Completeness Thresholds for Bounded Model Checking (Q3088266) (← links)
- Abstract Interpretation with Applications to Timing Validation (Q3512479) (← links)
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis (Q3512480) (← links)
- Monitoring Atomicity in Concurrent Programs (Q3512481) (← links)
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings (Q3512483) (← links)
- A Hybrid Type System for Lock-Freedom of Mobile Processes (Q3512484) (← links)
- Implied Set Closure and Its Application to Memory Consistency Verification (Q3512486) (← links)
- Effective Program Verification for Relaxed Memory Models (Q3512487) (← links)
- Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses (Q3512488) (← links)
- Automated Assume-Guarantee Reasoning by Abstraction Refinement (Q3512489) (← links)
- Local Proofs for Linear-Time Properties of Concurrent Programs (Q3512490) (← links)
- Probabilistic CEGAR (Q3512491) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- Constraint-Based Approach for Analysis of Hybrid Systems (Q3512493) (← links)
- Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems (Q3512494) (← links)
- Conflict-Tolerant Features (Q3512496) (← links)
- Ranking Automata and Games for Prioritized Requirements (Q3512497) (← links)
- Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations (Q3512498) (← links)
- Linear Arithmetic with Stars (Q3512499) (← links)
- Inferring Congruence Equations Using SAT (Q3512500) (← links)
- Heap Assumptions on Demand (Q3512501) (← links)
- Proving Conditional Termination (Q3512502) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- Enhancing Program Verification with Lemmas (Q3512504) (← links)
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (Q3512505) (← links)
- Scalable Shape Analysis for Systems Code (Q3512506) (← links)
- Thread Quantification for Concurrent Shape Analysis (Q3512507) (← links)
- Functional Verification of Power Gated Designs by Compositional Reasoning (Q3512508) (← links)
- A Practical Approach to Word Level Model Checking of Industrial Netlists (Q3512509) (← links)
- Validating High-Level Synthesis (Q3512510) (← links)
- An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths (Q3512511) (← links)
- Producing Short Counterexamples Using “Crucial Events” (Q3512512) (← links)
- Discriminative Model Checking (Q3512513) (← links)
- Correcting a Space-Efficient Simulation Algorithm (Q3512514) (← links)
- Semi-external LTL Model Checking (Q3512515) (← links)
- Fast Acceleration of Ultimately Periodic Relations (Q3583851) (← links)
- Transactional Memory: Glimmer of a Theory (Q3636851) (← links)
- Models and Proofs of Protocol Security: A Progress Report (Q3636852) (← links)
- SPEED: Symbolic Complexity Bound Analysis (Q3636853) (← links)
- Symbolic Counter Abstraction for Concurrent Software (Q3636854) (← links)
- Priority Scheduling of Distributed Systems Based on Model Checking (Q3636855) (← links)