Skip to content

Latest commit

 

History

History
11 lines (10 loc) · 304 Bytes

README.md

File metadata and controls

11 lines (10 loc) · 304 Bytes

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