🙋♀️ 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 11 repositories
- 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.
contractautomataproject/ContractAutomataLib’s past year of commit activity - InteractiveSimulator Public
A command line console simulator for executing a contract automaton and exploring the state space.
contractautomataproject/InteractiveSimulator’s past year of commit activity - CATLib_PngConverter Public
Example of usage of CATLib for solving multi-agent spatial problems using VoxLogica
contractautomataproject/CATLib_PngConverter’s past year of commit activity - ContractAutomataApp Public
This is a GUI application of the Contract Automata Toolkit, exploiting the contract automata library to put contract automata at work
contractautomataproject/ContractAutomataApp’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…