Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Strahlberger, Aaron"'
We report on COOL-MC, a model checking tool for fixpoint logics that is parametric in the branching type of models (nondeterministic, game-based, probabilistic etc.) and in the next-step modalities used in formulae. The tool implements generic model
Externí odkaz:
http://arxiv.org/abs/2311.01315
