4 citations · 8 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…
cs.CR2023★ 2 cited
Runtime Verification for Trustworthy Computing
Robert Abela, Christian Colombo, Axel Curmi +3
Autonomous and robotic systems are increasingly being trusted with sensitive activities with potentially serious consequences if that trust is broken. Runtime verification techniqu…