5 implementations of a Public Announcement Logic Model Checker
Primary LanguageHaskellGNU Affero General Public License v3.0AGPL-3.0