Verifying Temporal Properties of Systems

• 1 January 1992
• book
• Published by Springer Nature
• https://doi.org/10.1007/978-1-4684-6819-9

Abstract

Keywords

• FINITE
• INVARIANT
• CALCULUS
• LOGIC
• PETRI NET
• PROOF
• VERIFICATION