150 citations · 623 across the 65 of their papers we have counts for
4 papers · 1 filter
Proceedings International Workshop on Verification of Infinite-State Systems
Axel Legay
This volume contains the proceedings of the 11th International Workshop on Verification of Infinite-State Systems (INFINITY 2009). The workshop was held in Bologna, Italy on August…
Some Models and Tools for Open Systems
Axel Legay, Marco Faella
In computer science, there is a distinction between closed systems, whose behavior is totally determined in advance, and open systems, that are systems maintaining a constant inter…
Qualitative Logics and Equivalences for Probabilistic Systems
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella +1
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized CTL (QRCTL): formulas o…
A Framework to Handle Linear Temporal Properties in (ω-)Regular Model Checking
Ahmed Bouajjani, Axel Legay, Pierre Wolper
Since the topic emerged several years ago, work on regular model checking has mostly been devoted to the verification of state reachability and safety properties. Though it was kno…