Generic Model Checking for Modal Fixpoint Logics in COOL-MC

von Hausmann, Daniel
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking and abstract interpretation ; Part 1 (2024)

COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description)

von Görlitz, Oliver
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)