/kripkechecker

Command-line tool for entering a Kripke model and verifying which worlds satisfy the formula

Primary LanguageJava

Stargazers

No one’s star this repository yet.