Thesis
Precise verification of C programs
- Abstract:
-
Most current approaches to software verification are one-sided -- a safety prover will try to prove that a program is safe, while a bug-finding tool will try to find bugs. It is rare to find an analyser that is optimised for both tasks, which is problematic since it is hard to know in advance whether a program you wish to analyse is safe or not. The result of taking a one-sided approach to verification is false alarms: safety provers will often claim that safe programs have errors, while...
Expand abstract
Actions
Funding
+ Engineering and Physical Sciences Research Council
More from this funder
Funding agency for:
Lewis, M
Bibliographic Details
- Publication date:
- 2014
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- Oxford University, UK
Item Description
- Language:
- English
- Keywords:
- Subjects:
- UUID:
-
uuid:34b5ed5a-160b-4e2c-8dac-eab62a24f78c
- Local pid:
- ora:12201
- Deposit date:
- 2015-09-02
Terms of use
- Copyright holder:
- Lewis, M
- Copyright date:
- 2014
If you are the owner of this record, you can report an update to it here: Report update to this record