This dissertation is concerned with software verication, in particular automated techniques to assess the correct functioning of object-based programs. We focus on the dynamic aspects of these programs and consider model-checking based verication techniques. The major obstacle to the design of modelchecking algorithms is the innite state-space explosion caused by the dynamic constructs supported by object-based languages.
|Award date||1 Jan 2003|
|Place of Publication||Enschede|
|Publication status||Published - 2003|
- FMT-OO: VERIFICATION OF OBJECT-BASED SYSTEMS
- FMT-MC: MODEL CHECKING