Back to University of Twente portal
On model checking the dynamics of object-based software : a foundational approach
Distefano, Dino Salvo (2003) On model checking the dynamics of object-based software : a foundational approach. thesis.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 2034Kb |
| 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 |
| 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 |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page