Schools & Centers

• Schools Centers etc Faculty Profiles
• HOME > Schools & Centers > [Centers etc] [Research centers] Research Center for Software Verification (jrcSV)

  Centers etc

  Research centers

  Research Center for Software Verification (jrcSV)

  Collaborating with world best research groups.
  Conducting comprehensive researches on software verification from foundation to application.

  Aiming at Formation of a world-class Research Group

  Modern society is constructed on international software systems which covers several areas including industry, government, healthcare, and education. Internet has already become the most important infrastructure symbolic to the modern society. Software verification constitutes the foundation of software systems and has become generic science and technology covering several academic, technical, and industrial fields.

  jrcSV is aiming at further expanding the high potential of the current software verification study at JAIST and developing a world-class research group by conducting the following researches.

  Logics for Verification: New logics which can discuss necessity, verifiability, etc. and constitute the foundations of next generation verification technology.

  Mechanisms for Verification: Model checking, theorem proving, and term rewriting and its applications to program code verifications.

  Formal Modeling/Specification Languages: Formal languages for modeling and specifying real world's problems and verification of problems, requirements, specifications, and designs.

  Real-time and Hybrid Systems: Verification technologies for real-time,concurrent, hybrid, and/or network systems or protocols.