Research Center for Software Verification

Since JAIST was established, JAIST is working on "research education" and "verifiable and evolvable e-society" projects (activities). Through out these activities, JAIST has the powerful research groups that are formed for software verification in Japan. Research Center for Software Verification (RCSV), evolve from the activities of this group, with the aim to develop a world-leading research, was found in April 2010.

Currently in JAIST, with respect to software verification has been successful conduct of variety of research themes as follows:

Based on the above research outcomes, Research Center for Software Verification plans to deploy a comprehensive study on the following themes.


Member


Link