Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits
Abstract elided by the publisher.
2,069 papers · page 100 of 104
Crocos: An Integrated Environment for Interactive Verification of SDL Specifications
Abstract elided by the publisher.
Layering Techniques for Development of Parallel Systems
Abstract elided by the publisher.
Verifying Timed Behavior Automata with Nonbinary Delay Constraints
Abstract elided by the publisher.
Model-Checking for Real-Time Systems Specified in Lotos
Abstract elided by the publisher.
Automatic Reduction in CTL Compositional Model Checking
Abstract elided by the publisher.
Using a Theorem Prover for Reasoning about Concurrent Algorithms
Abstract elided by the publisher.
Compositional Checking of Satisfaction
Abstract elided by the publisher.
Integer Programming in the Analysis of Concurrent Systems
Abstract elided by the publisher.
The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach
Abstract elided by the publisher.
Mechanically Checked Proofs of Kernel Specification
Abstract elided by the publisher.
From Data Structure to Process Structure
Abstract elided by the publisher.
Efficient Algorithms for Verification of Equivalences for Probabilistic Processes
Abstract elided by the publisher.
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus
Abstract elided by the publisher.
Minimum and Maximum Delay Problems in Real-Time Systems
Abstract elided by the publisher.
An Algebra of Boolean Processes
Abstract elided by the publisher.
Checking for Language Inclusion Using Simulation Preorders
Abstract elided by the publisher.
Generating BDDs for Symbolic Model Checking in CCS
Abstract elided by the publisher.
Complexity Results for POMSET Languages
Abstract elided by the publisher.
"On the Fly" Verification of Behavioural Equivalences and Preorders
Abstract elided by the publisher.