MIO Workbench是一种基于Eclipse的开放源码验证工具，是用于模式I/O自动机（MIO）的编辑器，用于正式指定软件组件或服务的行为。
除了允许创建新MIO或更改现有MIO的图形编辑器外，还实现了以下验证工具：
- 再精炼操作这些包括强再精炼、五月弱精炼、弱再精炼和严格观察精炼。
- 兼容性操作。我们支持强兼容性、“有益环境”兼容性、弱兼容性和严格观察优化的概念。
- 合成操作MIO，包括悲观的和乐观的成分。
- 共轭运算符和商运算符.
MIO Workbench能够在并排视图中显示细化关系和兼容状态；此外，在搜索优化或兼容性期间遇到的问题通过图形级别上的路径指示。
要使用MIO Workbench，请将Eclipse安装指向我们的更新站点。有关的更多信息下载.
使用中的技术
MIO Workbench使用了Eclipse项目中的许多技术。
- 工作台本身基于Eclipse和OSGi它包括扩展点，用于在不接触工作台代码的情况下添加新的细化、兼容性和组合操作。
- 基础MIO模型基于Eclipse建模框架（EMF），因此可以序列化为不同格式，也可以从不同格式读取。
- 图形编辑器和视图基于标准小工具工具包（SWT）和Draw2D框架。
有关Eclipse技术的更多信息，请访问网址：www.eclipse.org.