Skip to content
@contractautomataproject

Contract Automata Toolkit

Ongoing basic research activity about implementing and experimenting with new developments in the theoretical framework of Contract Automata
README.md

Hi there 👋

🙋‍♀️ 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.

Pinned Loading

  1. ContractAutomataLib 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.

    Java 8 2

  2. ContractAutomataApp ContractAutomataApp Public

    This is a GUI application of the Contract Automata Toolkit, exploiting the contract automata library to put contract automata at work

    Java 1

  3. CARE CARE Public

    A runtime environment for implementing applications specified via Contract Automata

    Java 1

Repositories

Showing 10 of 12 repositories
  • CIF3Connector Public

    Experiments on performing the orchestration synthesis of contract automata using CIF3

    contractautomataproject/CIF3Connector’s past year of commit activity
    Java 0 0 0 0 Updated Nov 5, 2025
  • nmts Public

    Implementation of Non-Reducible Modal Transition Systems Refinement

    contractautomataproject/nmts’s past year of commit activity
    Java 1 0 0 0 Updated Oct 15, 2025
  • 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
    Java 8 GPL-3.0 2 4 0 Updated Jul 16, 2025
  • CARE Public

    A runtime environment for implementing applications specified via Contract Automata

    contractautomataproject/CARE’s past year of commit activity
    Java 1 GPL-3.0 0 2 0 Updated Jun 19, 2025
  • primeimplicants Public

    experiments with prime implicants as maximal products

    contractautomataproject/primeimplicants’s past year of commit activity
    Java 0 0 0 0 Updated May 15, 2025
  • jlampIce2023experiments Public

    Experiments for the special issue in JLAMP of ICE 2023

    contractautomataproject/jlampIce2023experiments’s past year of commit activity
    Java 0 GPL-3.0 0 0 0 Updated Mar 12, 2024
  • 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
    Java 0 GPL-3.0 0 0 0 Updated Dec 22, 2023
  • 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
    Java 0 0 0 0 Updated Jun 26, 2023
  • CARE_Examples Public

    Examples and evaluation of the Runtime Environment of Contract Automata

    contractautomataproject/CARE_Examples’s past year of commit activity
    Java 0 0 0 0 Updated Jun 8, 2023
  • 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
    Java 1 GPL-3.0 0 6 0 Updated Mar 17, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…