Abstract
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.
Original language | English |
---|---|
Qualification | Doctor of Philosophy |
Awarding Institution |
|
Supervisors/Advisors |
|
Award date | 7 Nov 2003 |
Place of Publication | Enschede |
Publisher | |
Print ISBNs | 90-365-1975-6 |
Publication status | Published - 2003 |
Keywords
- IR-41475
- METIS-215011
- EWI-6559
- FMT-OO: VERIFICATION OF OBJECT-BASED SYSTEMS
- FMT-MC: MODEL CHECKING