Software, 2021, ENG

Contract automata library

Basile D.

CNR-ISTI, Pisa, Italy

The Contract Automata Tool is an ongoing basic research activity about implementing and experimenting with new developments in the theoretical framework of contract automata.

Keywords

Contract automata, Synthesis, Supervisory, Behavioral contracts

CNR authors

Basile Davide

CNR institutes

ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"

ID: 456740

Year: 2021

Type: Software

Creation: 2021-09-16 14:53:01.000

Last update: 2021-09-16 17:30:19.000

CNR authors

External links

OAI-PMH: Dublin Core

OAI-PMH: Mods

OAI-PMH: RDF

URL: https://github.com/davidebasile/ContractAutomataLib

External IDs

CNR OAI-PMH: oai:it.cnr:prodotti:456740