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

Oliver Grlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schrder

Browse the full CADE paper archive.