2 citations · 2 across the 8 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2024
Runtime Verification via Rational Monitor with Imperfect Information
Angelo Ferrando, Vadim Malvone
Trusting software systems, particularly autonomous ones, is challenging. To address this, formal verification techniques can ensure these systems behave as expected. Runtime Verifi…
cs.FL2023
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…