Thesis Topic Details

Topic ID:
159
Title:
Comparative Performance of Model checkers for epistemic logic
Supervisor:
Ron van der Meyden
Research Area:
Associated Staff
Assessor:
Kai Engelhardt
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE BIOM BINF SE
Group Suitable:
No
Industrial:
Pre-requisites:
Solid understanding of logic
Description:
Temporal-Epistemic Logic is a type of formal specification language that focuses on how the knowledge of agents in a distributed or multi-agent system evolves over time. Model checkers are a type of formal verification tool that
automatically checks whether a specification holds of a finite model of a system.

A number of temporal-epistemic model checkers have been developed
in the last ten years, including MCK, MCMAS, and VericS. The project
is to conduct a comparative performance analysis of these tools. This will
involve the development of a common representation format and/or an
approach to the fair comparison of tools with different input formats,
a suite of model checking examples, and experimental performance
analysis.
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.