Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

• 1 January 2000
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 16  (3) , 227-270
• https://doi.org/10.1023/a:1008700623084

Abstract

Keywords

• STEP
• MODEL
• VERIFICATION
• MUTUAL
• BAKERY
• STANFORD
• PROVER
• TUTORIAL
• DIAGRAMS
• ATOMIC