"Research on development process with Formal Method for highly-dependable software development"
IT has been building very important infrastructure all over the world and some software bugs are causing serious social problems. Today it has been very difficult to maintain software quality because the development scale of electric devices and embedded software become explosively big and complicated.
Micros Software has been working on research on development process by Formal Method (such as B-Method and Event-B) as an approach to building technology of highly-dependable software development, for the situation described above.

* Our research, research on development process and tool development for highly-dependable software development with Formal Method, is adopted for "government-financed aid project for advancement of strategic infrastructure skill in 2010" which small business agency of Ministry of Economy, Trade and Industry publicly sought, and we receive a commission for three years.

Formal Method:
A method of describing required specifications in languages based on mathematical logic, designing, and testing .
Formal Method Specification Description – describe a specification in languages of formal specification based on mathematics and logic.
Formal Testing – find discrepancy and bugs with supporting tool programmed in formal specification language.