Another Look at LTL Model Checking

• 1 January 1997
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 10  (1) , 47-71
• https://doi.org/10.1023/a:1008615614281

Abstract

Keywords

• AUTOMATIC VERIFICATION
• TEMPORAL LOGIC
• MODEL CHECKING
• BINARY DECISION DIAGRAMS