Web Page for the Talk:
Fostering Proof Scores in CafeOBJ
by FUTATSUGI,Kokichi
at ICFEM 2010 in Shanghai on 17 November 2010

Slides for the talk (pdf file)
CafeOBJ Codes for the Talk

Web Page for the course on "Formal Methods" at JAIST
Lectures 6 and 7 of this course give a full description on
"Modeling, Specification, and Verification of QLOCK in OTS/CafeOBJ"
without simulation (i.e. abstraction) and search.

Web Page for JAIST-FSSV2010