Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal.

Davide Basile

Browse the full Coordination paper archive.