Thesis
Program analysis with interpolants
- Abstract:
-
This dissertation discusses novel techniques for interpolation-based software model checking, an approximate method which uses Craig interpolation to compute invariants of programs. Our work addresses two aspects of program analyses based on model checking: verification (the construction of correctness proofs for programs) and falsification (the detection of counterexamples that violate the specification). In Hoare's calculus, a proof of correctness comprises assertions which establish that...
Expand abstract
Actions
Bibliographic Details
- Publication date:
- 2010
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- Oxford University, UK
- DOI:
Item Description
- Language:
- English
- Keywords:
- Subjects:
- UUID:
-
uuid:6987de8b-92c2-4309-b762-f0b0b9a165e6
- Local pid:
- ora:4227
- Deposit date:
- 2010-10-08
Related Items
Terms of use
- Copyright holder:
- Georg Weissenbacher
- Copyright date:
- 2010
If you are the owner of this record, you can report an update to it here: Report update to this record