M3VE: Multi-User, Multi-Method, and Multi-Platform Verification Environment

  • Authors:

  • Shoichi Morimoto

  • Affiliations:

  • Department of Business Administration, Senshu University, Japan

  • Venue:
  • Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.