davidebasile / FORTE2020 Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

This is the Uppaal Stratego model published at FORTE2020

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
EmaxPD.PNG		EmaxPD.PNG
EmaxoptPD.PNG		EmaxoptPD.PNG
PCIfailure.PNG		PCIfailure.PNG
PDdoneundersafe.PNG		PDdoneundersafe.PNG
README.md		README.md
experiments.txt		experiments.txt
model.xml		model.xml
simulationsafe.PNG		simulationsafe.PNG
trainatomodel.PNG		trainatomodel.PNG

Repository files navigation

FORTE2020

This is the Uppaal Stratego model published at FORTE2020 https://link.springer.com/chapter/10.1007%2F978-3-030-50086-3_1

About

This is the Uppaal Stratego model published at FORTE2020

real-time synthesis uppaal modelchecking formalverification

Report repository

Releases

No releases published

Packages

No packages published