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…