Search
Now showing items 1-2 of 2
Language Support for Verifying Reconfigurable Interacting Systems
(2023)
Reconfigurable interacting systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming ...
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae
(2023)
This paper presents ppLTLTT, a tool for translating pure-past linear temporal logic formulae into temporal testers in the form of automata. We show how ppLTLTT can be used to easily extend existing LTL-based tools, such ...