Functional Extension of Symbolic Model Checking
Abstract elided by the publisher.
2,069 papers · page 101 of 104
Avoiding State Exposion by Composition of Minimal Covering Graphs
Abstract elided by the publisher.
A Semantic Driven Method to Check the Finiteness of CCS Processes
Abstract elided by the publisher.
Verifying Properties of HMS Machine Specifications of Real-Time Systems
Abstract elided by the publisher.
A Top Down Approach to the Formal Specification of SCI Cache Coherence
Abstract elided by the publisher.
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties
Abstract elided by the publisher.
Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits
Abstract elided by the publisher.
Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic
Abstract elided by the publisher.
Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification
Abstract elided by the publisher.
Deciding Properties of Regular Real Time Processes
Abstract elided by the publisher.
Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes
Abstract elided by the publisher.
Bounded-memory Algorithms for Verification On-the-fly
Abstract elided by the publisher.
A Linear Time Process Algebra
Abstract elided by the publisher.
The Concurrency Workbench with Priorities
Abstract elided by the publisher.
An Automata Theoretic Approach to Temporal Logic
Abstract elided by the publisher.
Computing Distinguishing Formulas for Branching Bisimulation
Abstract elided by the publisher.
Comparing Generic State Machines
Abstract elided by the publisher.
PAM: A Process Algebra Manipulator
Abstract elided by the publisher.
An Automated Proof Technique for Finite-State Machine Equivalence
Abstract elided by the publisher.
A Proof Assistant for PSF
Abstract elided by the publisher.