Affordable Access

Verification of a medium-sized real-time software system with model checking tools (Xuppaal and Kronos)

McGill University
Publication Date
  • Computer Science.


The final chapter describes a project that involved the verification of medium-sized real-time software. Due to a contract of confidentiality with the company that funded the project, the original names of events and locations in the models are not revealed in this thesis. However, a general discussion of the strategies and lessons learned from the experience is given.

There are no comments yet on this publication. Be the first to share your thoughts.