Zick-zacking through the CafeOBJ’s vegetable garden


Norbert Preining
JAIST, Research Center for Software Verification, Japan


43rd TRS Meeting
2015-09-09, Morioka, Japan.


We are exploring a variety of topic related to CafeOBJ: History and background, symbolic calculations and polynoms, computation and exact reals, liveness properties for state machine based specifications, and news from CITP/CafeOBJ, the Constructor based inductive theorem prover.

Leave a comment

Your email address will not be published. Required fields are marked *