CafeOBJ 1.6.2 released | There and back again We have released version 1.6.2 of CafeOBJ, an algebraic specification and verification language. It has been a long time since we made a formal release. There has been an internal release that really ...

Long overdue, a new release of CafeOBJ - algebraic specification and verification language - CafeOBJ 1.6.2 released www.preining.info/blog/2024/11... #cafeobj #math #logic #verification #formal_methods