Contract automata facilitate the specification, composition, and synthesis of behavioural contracts, comprehending modalities and configurations. Contract automata are supported by a software API called Contract Automata Library. This paper accompanies the software artefact by discussing its architecture, showing some usage examples and presenting recent improvements of the software in terms of quality, availability, usability, and documentation.
Contract automata library
Basile D;ter Beek MH
2022
Abstract
Contract automata facilitate the specification, composition, and synthesis of behavioural contracts, comprehending modalities and configurations. Contract automata are supported by a software API called Contract Automata Library. This paper accompanies the software artefact by discussing its architecture, showing some usage examples and presenting recent improvements of the software in terms of quality, availability, usability, and documentation.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_469592-doc_190254.pdf
accesso aperto
Descrizione: preproof - Contract automata library
Tipologia:
Versione Editoriale (PDF)
Dimensione
430.04 kB
Formato
Adobe PDF
|
430.04 kB | Adobe PDF | Visualizza/Apri |
prod_469592-doc_190623.pdf
non disponibili
Descrizione: Contract automata library
Tipologia:
Versione Editoriale (PDF)
Dimensione
537.07 kB
Formato
Adobe PDF
|
537.07 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.