Populational Announcement Logic - Library and Model Checker
This is Vitor Machado's master's degree thesis implementation of a library and model checker for the PPAL logic.
-
Notifications
You must be signed in to change notification settings - Fork 0
vittau/PPAL
About
Populational Announcement Logic - Library and Model Checker
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published