HML Simulator
Wertet eine Formel bezüglich eines gegebenen LTS (Transitionssystem) aus Gibt eine Menge von Prozessen zurück, die die gegebene Formel erfüllen
Grundlage sind die Lehrinhalte von "Reaktive Systeme"
-
Notifications
You must be signed in to change notification settings - Fork 0
more2503/HML
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
HML Simulator
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published