LOGIN
>> Home
>> Topics
>> Students
>> Partners
>> Statistics
Information for topics
Topic Id:
ID topic:
74
Partner Email:
srba@cs.aau.dk
Project Title:
Discrete time model checking of Timed- Arc Petri nets
Abstract:
This project will compare a number of different real-time model checking tools to com- pare different parameters such as: tool usability, tool performance and modeling power, by modelling one or more algorithms (eg. mutual exclusions or networks algorithms) The result would be a survey describing the strengths and weaknesses of the different tools, and possible propose and implement ideas for the development of TAPAAL.
Advisor:
Jiri Srba
Link:
Degree:
Bachelor
Keywords:
