The verification of the correctness of software systems which are  formally specified constitutes one of the most important methods for ensuring the quality of software development. This is especially relevant for large sized systems.

The purpose of this school is to introduce to both academia and industry researchers, including research students, a technology for formal verification of software systems that has been developed at Japan Advanced Institute for Science and Technology by a team led by Professor Kokichi Futatsugi.
This technology is based upon the CafeOBJ algebraic specification language and system which is one of the main modern formal methods worldwide.

The full teachings of this school can be found here.