M~3VE: Multi-User, Multi-Method, and Multi-Platform Verification Environment

摘要

There have been various methods and tools for formal verification of software, thus their usage are not unified. It is difficult to identify suitable methods or tools for each software development and to utilize appropriately them. Moreover, because various stakeholders generally engage in the development, their uneven skill and experience cause difficulty of quality management of the software verification. Therefore, we have developed a formal verification environment for multi-user, multi-method, and multi-platform. More than one developer can formally describe and verify their software specification with the others in dynamic web applications via the environment by any method or tool, simultaneously and cooperatively. They can also share knowledge and experience of the verification on the environment. Consequently, the environment smoothes the verification and supports the development.