Generic Model Checking for Modal Fixpoint Logics in COOL-MC.

Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schrder, Aaron Strahlberger

Browse the full VMCAI paper archive.