Norbert PreiningNov 22, 2024
Long overdue, a new release of CafeOBJ - algebraic specification and verification language - CafeOBJ 1.6.2 released https://www.preining.info/blog/2024/11/cafeobj-1-6-2-released/ #cafeobj #math #logic #verification #formal_methods
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 never got published, and just to rectify this, plus a few changes, a new release was made.…

There and back again
Norbert PreiningDec 27, 2018
New release of our algebraic #specification and #verification language #CafeOBJ #logic #mathematics https://www.preining.info/blog/2018/12/cafeobj-1-5-9-released/
CafeOBJ 1.5.9 released

Yesterday we released CafeOBJ 1.5.9 with several new feature, bug fixes, and optimizations. Changes from the previous version: improved memoization higher heap allocation on 64bit systems fixes to .cafeobj file handling new switch ‘show...

There and back again