Thesis Topic Details

Topic ID:
156
Title:
Knowledge Based Analysis of a Distributed Protocol
Supervisor:
Ron van der Meyden
Research Area:
Formal Methods, Distributed Systems
Associated Staff
Assessor:
Kai Engelhardt
Topic Details
Status:
Active
Type:
Research
Programs:
CS CE BIOM BINF SE
Group Suitable:
No
Industrial:
Pre-requisites:
Solid understanding of distributed computation and excellence in formal methods
Description:
Knowledge-theory is a relatively novel approach to the high level design and analyis of distributed protocols. The number of specific protocols that have been studied from this perspective remains small. The project is to undertake the analysis of a new example, either theoretically, or by use of a model checker, MCK, that we have developed at UNSW.

For examples of such analyses, see

http://www.cse.unsw.edu.au/~meyden/research/moesi.pdf
(using model checking)

http://http://www.cs.cornell.edu/home/halpern/papers/EBA.pdf
(theoretical)

Comments:
--
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.