Beyond model checking

• 1 January 1994
• book chapter
• Published by Springer Nature in Lecture Notes in Computer Science
• p. 220-221
• https://doi.org/10.1007/3-540-58179-0_56

Abstract

Keywords

• MODEL CHECK
• DECISION PROCEDURE
• VERIFICATION CONDITION
• DEDUCTIVE METHOD
• DINE PHILOSOPHER