Thread Quantification for Concurrent Shape Analysis
Abstract elided by the publisher.
2,069 papers · page 61 of 104
CSIsat: Interpolation for LA+EUF
Abstract elided by the publisher.
A Practical Approach to Word Level Model Checking of Industrial Netlists
Abstract elided by the publisher.
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Abstract elided by the publisher.
The Barcelogic SMT Solver
Abstract elided by the publisher.
The MathSAT 4SMT Solver
Abstract elided by the publisher.
Effective Program Verification for Relaxed Memory Models
Abstract elided by the publisher.
Local Proofs for Linear-Time Properties of Concurrent Programs
Abstract elided by the publisher.
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
Abstract elided by the publisher.
Proving Conditional Termination
Abstract elided by the publisher.
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols
Abstract elided by the publisher.
Conflict-Tolerant Features
Abstract elided by the publisher.
Semi-external LTL Model Checking
Abstract elided by the publisher.
Functional Verification of Power Gated Designs by Compositional Reasoning
Abstract elided by the publisher.
Monitoring Atomicity in Concurrent Programs
Abstract elided by the publisher.
Coping with Outside-the-Box Attacks
Abstract elided by the publisher.
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial)
Abstract elided by the publisher.
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems
Abstract elided by the publisher.
QMC: A Model Checker for Quantum Systems
Abstract elided by the publisher.
Correcting a Space-Efficient Simulation Algorithm
Abstract elided by the publisher.