Practical Methods for Proving Program Termination
Abstract elided by the publisher.
2,069 papers · page 77 of 104
On Abstraction in Software Verification
Abstract elided by the publisher.
Abstracting C with abC
Abstract elided by the publisher.
A Modular Checker for Multithreaded Programs
Abstract elided by the publisher.
Automatic Abstraction Using Generalized Model Checking
Abstract elided by the publisher.
AMC: An Adaptive Model Checker
Abstract elided by the publisher.
Fair Simulation Minimization
Abstract elided by the publisher.
On Discrete Modeling and Model Checking for Nonlinear Analog Systems
Abstract elided by the publisher.
The Symbolic Approach to Hybrid Systems
Abstract elided by the publisher.
Temporal-Safety Proofs for Systems Code
Abstract elided by the publisher.
Software Analysis and Model Checking
Abstract elided by the publisher.
Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving
Abstract elided by the publisher.
Canonical Prefixes of Petri Net Unfoldings
Abstract elided by the publisher.
Model Checking Linear Properties of Prefix-Recognizable Systems
Abstract elided by the publisher.
Compressing Transitions for Model Checking
Abstract elided by the publisher.
Applying SAT Methods in Unbounded Symbolic Model Checking
Abstract elided by the publisher.
Liveness with (0, 1, infty)-Counter Abstraction
Abstract elided by the publisher.
Vacuum Cleaning CTL Formulae
Abstract elided by the publisher.
Conformance Checking for Models of Asynchronous Message Passing Software
Abstract elided by the publisher.
Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking
Abstract elided by the publisher.