BOBJ is a system for prototyping and algebraic specification and verification built by Kai Lin following the ideas of Joseph Goguen. BOBJ is part of the Tatami Projekt at UCSD.
This repository is a fork of the publicly available BOBJ system at
ftp://ftp.cs.ucsd.edu/pub/fac/goguen/bobj (last modified 2006-02)
intended to be both, a mirror and also a place for system actualization.
BOBJ's home page can be found at
http://cseweb.ucsd.edu/groups/tatami/bobj/.
OBJ is actually a family of algebraic specification and verification systems which most prominent members are OBJ3, CafeOBJ, and BOBJ.
Please see the BOBJ README file for more details.
Compile BOBJ:
mvn clean package
Run BOBJ:
java -jar target/bobj-0.9.jar