Sciweavers

FMSD
2000
86views more  FMSD 2000»
13 years 11 months ago
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
Nikolaj Bjørner, Anca Browne, Michael Col&o...
FMSD
2000
80views more  FMSD 2000»
13 years 11 months ago
Delay-Insensitivity and Semi-Modularity
The study of asynchronous circuit behaviors in the presence of component and wire delays has received a great deal of attention. In this paper, we consider asynchronous circuits wh...
Janusz A. Brzozowski, Hao Zhang 0002