Publication Date:
2021
abstract:
This is a GUI application of the Contract Automata Toolkit, exploiting the contract automata library to put contract automata at work
Iris type:
05.11 Software
Keywords:
Contract automata; Behavioural contracts; Supervisory synthesis
List of contributors: