Invariants generation for method overriding using abstract interpretation / Siti Hafizah Ab. Hamid
Software verification is an important element of software reliability. The significance and importance of verification have been recognized by Bill Gates in his speech in WinHEC 2002. The software verification allows program’s specification to be formally proved to ensure the specification verified...
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://studentsrepo.um.edu.my/5552/1/PhD_Thesis_WHA070027.pdf http://studentsrepo.um.edu.my/5552/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Universiti Malaya |