10 citations · 22 across the 13 of their papers we have counts for
3 papers · 1 filter
3vLTL: A Tool to Generate Automata for Three-valued LTL
Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
Multi-valued logics have a long tradition in the literature on system verification, including run-time verification. However, comparatively fewer model-checking tools have been dev…
Scalable Verification of Strategy Logic through Three-valued Abstraction
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga +2
The model checking problem for multi-agent systems against Strategy Logic specifications is known to be non-elementary. On this logic several fragments have been defined to tackle…
The Impact of Strategies and Information in Model Checking for Multi-Agent Systems
Vadim Malvone
System correctness is one of the most crucial and challenging objectives in software and hardware systems. With the increasing evolution of connected and distributed systems, ensur…