The Mathematical Foundation fo Symbolic Trajectory Evaluation
Abstract elided by the publisher.
2,069 papers · page 84 of 104
NUSMV: A New Symbolic Model Verifier
Abstract elided by the publisher.
Improved Automata Generation for Linear Temporal Logic
Abstract elided by the publisher.
Experience with Predicate Abstraction
Abstract elided by the publisher.
Alternative Approaches to Hardware Verification (abstract)
Abstract elided by the publisher.
Stutter-Invariant Languages, omega-Automata, and Temporal Logic
Abstract elided by the publisher.
Mechanizing Proofs of Computation Equivalence
Abstract elided by the publisher.
Assume-Guarantee Refinement Between Different Time Scales
Abstract elided by the publisher.
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems
Abstract elided by the publisher.
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models
Abstract elided by the publisher.
Test Generation Derived from Model-Checking
Abstract elided by the publisher.
A Theory of Restrictions for Logics and Automata
Abstract elided by the publisher.
Model Checking of Safety Properties
Abstract elided by the publisher.
A Complete Finite Prefix for Process Algebra
Abstract elided by the publisher.
Stepwise CTL Model Checking of State/Event Systems
Abstract elided by the publisher.
Verification of Parameterized Systems by Dynamic Induction on Diagrams
Abstract elided by the publisher.
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation
Abstract elided by the publisher.
Elementary Microarchitecture Algebra
Abstract elided by the publisher.
Efficient Analysis of Cyclic Definitions
Abstract elided by the publisher.
Deciding Equality Formulas by Small Domains Instantiations
Abstract elided by the publisher.