Skip to content
Snippets Groups Projects
Commit 435c94a2 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2017-02-01-Gian_viva.md

parent 622a7d73
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2017-02-01-Gian_viva.md
+ 1
− 1
View file @ 435c94a2
...@@ -7,7 +7,7 @@ Reasoning about POSIX File Systems and many thanks to [Ally Donaldson](http://ww ...@@ -7,7 +7,7 @@ Reasoning about POSIX File Systems and many thanks to [Ally Donaldson](http://ww
and [Hongseok Yang](http://www.cs.ox.ac.uk/people/hongseok.yang/Public/Home.html) who acted as examiners. and [Hongseok Yang](http://www.cs.ox.ac.uk/people/hongseok.yang/Public/Home.html) who acted as examiners.
The thesis investigates the problem of rigorously specifying the semantics of the POSIX file system API The thesis investigates the problem of rigorously specifying the semantics of the POSIX file system API
and using these specifications to reason about the correctness of implementation of API functions and and uses these specifications to reason about the correctness of implementation of API functions and
clients that interact with the API. The examiners found that Gian’s work contained new significant results clients that interact with the API. The examiners found that Gian’s work contained new significant results
on formal specification and verifications of concurrent software systems and recommended on formal specification and verifications of concurrent software systems and recommended
that the viva is passed with only minor corrections. that the viva is passed with only minor corrections.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment