CafeOBJ Tutoruial at ICFEM
2016
Date: Nov. 15, Tuesday, 2016
Lecturer:
Kazuhiro Ogata (JAIST)
Lecture notes
lectureNote4
lectureNote5
Specifications in CafeOBJ, proof scores in
CafeOBJ, and proof scripts in CafeOBJ CITP
2P-MUTEX
Qlock
Useful links
CafeOBJ
CITP in Maude