/PPAL

Populational Announcement Logic - Library and Model Checker

Primary LanguageHTML

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.