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...
| 第一著者: | |
|---|---|
| フォーマット: | 学位論文 |
| 出版事項: |
2013
|
| 主題: |