Populational Announcement Logic - Library and Model Checker
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.idea
Examples
Library
MC
META-INF
api
lib
PPAL.iml
README.md

README.md

PPAL

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.