Deductive Model Checking

• 1 January 1999
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 15  (1) , 49-74
• https://doi.org/10.1023/a:1008791913551

Abstract

Keywords

• DEDUCTIVE VERIFICATION
• MODEL CHECKING
• REACTIVE SYSTEMS