CafeOBJ Codes for Lecture 09a:

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