Verifying Temporal Properties of Reactive Systems

S BjørnerNikolaj,BrowneAnca,A ColónMichael,FinkbeinerBernd,MannaZohar,B SipmaHenny,E UribeTomás

Verifying Temporal Properties of Reactive Systems

2000

S BjørnerNikolaj
BrowneAnca
A ColónMichael
FinkbeinerBernd
MannaZohar
B SipmaHenny
E UribeTomás

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 of the Bakery Mutu...

Keywords:

Reactive system
Gas meter prover
Computer science
Formal verification
Theoretical computer science
Temporal logic
Model checking

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations