On Automatically Explaining Bisimulation Inequivalence
Abstract elided by the publisher.
2,069 papers · page 103 of 104
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams
Abstract elided by the publisher.
Memory Efficient Algorithms for the Verification of Temporal Properties
Abstract elided by the publisher.
Quantitative Temporal Reasoning
Abstract elided by the publisher.
Automatic Verification of Extensions of Hardware Descriptions
Abstract elided by the publisher.
Using Partial Orders to Improve Automatic Verification Methods
Abstract elided by the publisher.
Task-Driven Supervisory Control of Discrete Event Systems
Abstract elided by the publisher.
Compositional Minimization of Finite State Systems
Abstract elided by the publisher.
Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity
Abstract elided by the publisher.
Vectorized Model Checking for Computation Tree Logic
Abstract elided by the publisher.
Using Optimal Simulations to Reduce Reachability Graphs
Abstract elided by the publisher.
An Algebra for Delay-Insensitive Circuits
Abstract elided by the publisher.
A Context Dependent Equivalence Relation Between Kripke Structures
Abstract elided by the publisher.
On Using Protean To Verify ISO FTAM Protocol
Abstract elided by the publisher.
Automated RTL Verification Based on Predicate Calculus
Abstract elided by the publisher.
Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets
Abstract elided by the publisher.
Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic
Abstract elided by the publisher.
Finiteness Conditions and Structural Construction of Automata for All Process Algebras
Abstract elided by the publisher.
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines
Abstract elided by the publisher.
A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio
Abstract elided by the publisher.