🙋♀️ This organization groups together all repositories concerning contract automata.
👩💻 If you want to know more about contract automata checks the ContractAutomataLib repository (and the corresponding github.io page with references).
🌈 For contributing to this organization please contact me at davide.basile@isti.cnr.it.
Contract Automata Toolkit
Ongoing basic research activity about implementing and experimenting with new developments in the theoretical framework of Contract Automata
Pinned Loading
Repositories
Showing 10 of 12 repositories
- CIF3Connector Public
CIF3Connector is a tool that enables redundant orchestration synthesis by bridging the Contract Automata Library (CATLib) and the Eclipse Supervisory Control Engineering Toolkit (ESCET)
- ContractAutomataLib Public
The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.
- InteractiveSimulator Public
A command line console simulator for executing a contract automaton and exploring the state space.
- CATLib_PngConverter Public
Example of usage of CATLib for solving multi-agent spatial problems using VoxLogica
- ContractAutomataApp Public
This is a GUI application of the Contract Automata Toolkit, exploiting the contract automata library to put contract automata at work
Top languages
Loading…
Most used topics
Loading…