MIO Workbench
The verification tool for modal I/O automata
  • Home
  • Documentation
    • Command-Line Shell
    • Basic Tutorial
  • Download
    • Changelog
  • Examples
  • Research Papers
  • Contact

Contact

The MIO Workbench is developed at the Chair for Programming & Software Engineering, Ludwig-Maximilians-Universität München, Germany.

The tool is developed by:

  • Sebastian S. Bauer
  • Philip Mayer
  • Fabian Knopf

For more information on the MIO Workbench, please contact Prof. Rolf Hennicker.

Comments are closed.

Pages

  • Documentation
    • Command-Line Shell
    • Basic Tutorial
  • Download
    • Changelog
  • Examples
  • Home
  • Research Papers
  • Contact

Meta

  • Log in
  • MIO Workbench
Powered by WordPress & Built on WP Framework