59 citations · 249 across the 42 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014
Satisfiability and Model Checking of CTL* with Graded Path Modalities
Benjamin Aminof, Aniello Murano, Sasha Rubin
Graded path modalities count the number of paths satisfying a property, and generalize the existential (E) and universal (A) path modalities of CTL*. The resulting logic is called…
cs.LO2014★ 14 cited
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
Petr Čermák, Alessio Lomuscio, Fabio Mogavero +1
We introduce MCMAS-SLK, a BDD-based model checker for the verification of systems against specifications expressed in a novel, epistemic variant of strategy logic. We give syntax a…