Thesis icon

Thesis

Techniques and tools for the verification of concurrent systems

Abstract:

Model checking is an automatic formal verification technique for establishing correctness of systems. It has been widely used in industry for analysing and verifying complex safety-critical systems in application domains such as avionics, medicine and computer security, where manual testing is infeasible and even minor errors could have dire consequences.

In our increasingly parallelised world, concurrency has become pivotal and seamlessly woven within programming paradigms, however...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Research group:
Verification
Oxford college:
Linacre College
Department:
Mathematical,Physical & Life Sciences Division - Department of Computer Science
Role:
Author

Contributors

Role:
Supervisor
Role:
Supervisor
Publication date:
2012
Type of award:
DPhil
Level of award:
Doctoral
URN:
uuid:fc2028e1-2a45-459a-afdd-70001893f3d8
Local pid:
ora:6995

Terms of use


Metrics


Views and Downloads






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

TO TOP