59 citations · 134 across the 18 of their papers we have counts for
3 papers · 2 filters
Reasoning about Strategies: on the Satisfiability Problem
Fabio Mogavero, Aniello Murano, Giuseppe Perelli +1
Strategy Logic (SL, for short) has been introduced by Mogavero, Murano, and Vardi as a useful formalism for reasoning explicitly about strategies, as first-order objects, in multi-…
Cycle Detection in Computation Tree Logic
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano +2
Temporal logic is a very powerful formalism deeply investigated and used in formal system design and verification. Its application usually reduces to solving specific decision prob…
Checking Interval Properties of Computations
A. Molinari, A. Montanari, A. Murano +2
Model checking is a powerful method widely explored in formal verification. Given a model of a system, e.g., a Kripke structure, and a formula specifying its expected behaviour, on…