Model Checking Programs

• 1 January 2003
• journal article
• Published by Springer Nature in Automated Software Engineering
• Vol. 10  (2) , 203-232
• https://doi.org/10.1023/a:1022920129859

Abstract

Keywords

• MODEL CHECKING
• JAVA
• SYMMETRY
• ABSTRACTION
• RUNTIME ANALYSIS
• STATIC ANALYSIS