On model checking the dynamics of object-based software : a foundational approach


Share/Save/Bookmark

Distefano, Dino Salvo (2003) On model checking the dynamics of object-based software : a foundational approach. thesis.

open access
[img]
Preview
PDF
2MB
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.
Item Type:Thesis
Additional information:IPA Dissertation Series ; 2003-09
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/41475
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page