2 papers
cs.SE2025
Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
Davide Basile
Recently, a distributed middleware application called contract automata runtime environment (CARE) has been introduced to realise service applications specified using a dialect of…
cs.FL2023
Non-reducible Modal Transition Systems
Davide Basile
Modal Transition Systems (MTS) are a well-known formalism that extend Labelled Transition Systems (LTS) with the possibility of specifying necessary and permitted behaviour. Modal…