adarsharavind / model-checking-with-uppaal Goto Github PK
View Code? Open in Web Editor NEWThis is a course project for INSE 6250. It is focused on developing a model and checking the correctness with any model checker tools.
License: GNU General Public License v3.0