Web Page for the Talk:
Fostering Proof Scores in CafeOBJ
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