On Some Transformation Invariants Under Retiming and Resynthesis
Abstract elided by the publisher.
1,553 papers · page 61 of 78
Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit
Abstract elided by the publisher.
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs
Abstract elided by the publisher.
Dependent Types for Program Understanding
Abstract elided by the publisher.
Temporal Logic for Scenario-Based Specifications
Abstract elided by the publisher.
Complementation Constructions for Nondeterministic Automata on Infinite Words
Abstract elided by the publisher.
A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover
Abstract elided by the publisher.
jETI: A Tool for Remote Tool Integration
Abstract elided by the publisher.
Using BDDs to Decide CTL
Abstract elided by the publisher.
Applications of Craig Interpolants in Model Checking
Abstract elided by the publisher.
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
Abstract elided by the publisher.
Context-Bounded Model Checking of Concurrent Software
Abstract elided by the publisher.
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation
Abstract elided by the publisher.
Model Checking Infinite-State Markov Chains
Abstract elided by the publisher.
Shortest Counterexamples for Symbolic Model Checking of LTL with Past
Abstract elided by the publisher.
A Note on On-the-Fly Verification Algorithms
Abstract elided by the publisher.
Bounded Validity Checking of Interval Duration Logic
Abstract elided by the publisher.
jMoped: A Java Bytecode Checker Based on Moped
Abstract elided by the publisher.
Using Language Inference to Verify Omega-Regular Properties
Abstract elided by the publisher.
Mining Temporal Specifications for Error Detection
Abstract elided by the publisher.