CafeOBJ Codes for Lecture 11 of i613-0912

• qlock.mod
• qlockTrans.mod
• mex.mod
• falisificationBySearch.mod
• qlockObEq.mod
• verificationBySearchWithObEq.mod
• csQtopPSforExcs.mod
• simOfQLOCKbyQLOCKijPS.mod