The IA-Toolset for Interface Automata theories:
- Interface Automata for Shared Memory
- Modal Interface Automata
Features:
- Textual language for modelling the automata
- Product/composition
- Refinement checking
- Debugger
- IDE language server (implements Language Server Protocol)
- VSCode extension