Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Repository
TTool
src
main
java
avatartranslator
modelchecker
AvatarModelChecker.java
Find file
Blame
History
Permalink
First version model-checker validator which validates internal verification results with UPPAAL
· 9b20334e
tempiaa
authored
May 07, 2020
9b20334e