Thesis icon

Thesis

Verification of asynchronous concurrency and the shaped stack constraint

Abstract:

In this dissertation, we study the verification of concurrent programs written in the programming language Erlang using infinite-state model-checking. Erlang is a widely used, higher order, dynamically typed, call-by-value functional language with algebraic data types and pattern-matching. It is further augmented with support for actor concurrency, i.e. asynchronous message passing and dynamic process creation.

With decidable model-checking in mind, we identify actor co...

Expand abstract

Actions


Access Document


Files:

Authors


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

Contributors

Role:
Supervisor
Publication date:
2014
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
Oxford University, UK
URN:
uuid:cd487639-0e7f-4248-9405-e05e8a8383d5
Local pid:
ora:12126

Terms of use


Metrics



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

TO TOP