Sciweavers

CAV
1994
Springer
102views Hardware» more  CAV 1994»
14 years 3 months ago
The Mobility Workbench - A Tool for the pi-Calculus
Björn Victor, Faron Moller
CAV
1994
Springer
111views Hardware» more  CAV 1994»
14 years 3 months ago
Automatic Verification of Timed Circuits
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
Tomas Rokicki, Chris J. Myers
CAV
1994
Springer
73views Hardware» more  CAV 1994»
14 years 3 months ago
A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation
Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are P-complete and hence it may not be possible to design ...
Insup Lee, Sanguthevar Rajasekaran
CAV
1994
Springer
113views Hardware» more  CAV 1994»
14 years 3 months ago
A Determinizable Class of Timed Automata
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
Rajeev Alur, Limor Fix, Thomas A. Henzinger