Thesis icon

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 ...Expand abstract...

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Oxford college:
St John's College
Department:
Mathematical,Physical & Life Sciences Division - Computer Science,Department of

Contributors

Role:
Supervisor
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
Oxford University, UK
Publication date:
2014
URN:
uuid:34b5ed5a-160b-4e2c-8dac-eab62a24f78c
Local pid:
ora:12201

Terms of use


Stats


Views & Downloads


If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP