The MIO Workbench is developed at the Chair for Programming & Software Engineering, Ludwig-Maximilians-Universität München, Germany.
For more information on the MIO Workbench, please contact Philip Mayer.
The verification tool for modal I/O automata
The verification tool for modal I/O automata
The MIO Workbench is developed at the Chair for Programming & Software Engineering, Ludwig-Maximilians-Universität München, Germany.
For more information on the MIO Workbench, please contact Philip Mayer.