/Correctness-Model-Checking

Proof of correctness of CTL model checking algorithm

Primary LanguageIsabelle

Watchers