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
Division:
MPLS
Department:
Computer Science
Research group:
Verification
Oxford college:
Linacre College
Role:
Author

Contributors

Role:
Supervisor
Role:
Supervisor
More from this funder
Name:
Engineering and Physical Sciences Research Council
Funding agency for:
Palikareva, H
Grant:
EP/E035590/1
Publication date:
2012
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford

Terms of use


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