依照国际标准，确保维持安全的软件开发原则，采用模式方法的程序十分必要。
本公司，导入开发程序内容的模式方法 (Event-B,B-method)，进一步推进开发导航程序(ESPR)，的研究实现，提供导入各种程序形式手法，规格开发的调整技术。

工具形象

Event-B
（使向上流工程特殊化的手法）

RODIN platform ProB Animator
http://www.event-b.org/
 
 

工具形象

B-method
 

Atelier-B
http://www.clearsy.com/
■　证明项目的自动形成功能
■　自动证明　 ※简单的技术学习，提高效率