ESSLLI 2016 Course: Algebraic Specification and Verification with CafeOBJ

During this year’s ESSLLI (European Summer School in Logic, Language and Information) I was teaching a course on Algebraic Specification and Verification with CafeOBJ. Please this post for the course materials like slides and code example. Abstract Ensuring correctness of complex systems like computer programs or communication protocols is gaining […]

Specification and Verification with Proof Scores in CafeOBJ

Lecturer FUTATSUGI, Kokichi JAIST, Research Center for Software Verification, Japan Place/Time 2015-10-23 and 10-30, NII, Tokyo, Japan. Web site Please see this page for details. Abstract CafeOBJ is a most advanced algebraic formal specification language system with rewriting/reduction engine which can be used for interactive verification. Proof scores are scripts […]

CafeOBJ course at the ESSLLI 2016 2

The European Summer School in Logic, Language and Information ESSLLI is a yearly event that normally brings together several hundred students and teachers for two weeks of courses. Next year’s ESSLLI 2016 will be held in Bozen, Italy. One of the courses will be Algebraic Specification and Verification – an […]