English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We report on COOL-MC, a model checking tool for fixpoint logics that isparametric in the branching type of models (nondeterministic, game-based,probabilistic etc.) and in the next-step modalities used in formulae. The toolimplements generic model checking algorithms developed in coalgebraic logicthat are easily adapted to concrete instance logics. Apart from the standardmodal $\mu$-calculus, COOL-MC currently supports alternating-time, graded,probabilistic and monotone variants of the $\mu$-calculus, but is alsoeffortlessly extensible with new instance logics. The model checking process isrealized by polynomial reductions to parity game solving, or, alternatively, bya local model checking algorithm that directly computes the extensions offormulae in a lazy fashion, thereby potentially avoiding the construction ofthe full parity game. We evaluate COOL-MC on informative benchmark sets.

Generic Model Checking for Modal Fixpoint Logics in COOL-MC