cafeobj

Algebraic specification and programming language for formal methods

brewmacoslinux

Try with needOr install directly

About

New generation algebraic specification and programming language

cafeobj

Start the CafeOBJ interactive interpreter$ cafeobj

Execute a CafeOBJ specification file$ cafeobj -batch myspec.cafe

Load and run a specification with output redirection$ cafeobj < specification.cafe > output.txt