Zick-zacking through the CafeOBJ’s vegetable garden


Lecturer

Norbert Preining
JAIST, Research Center for Software Verification, Japan

Place/Time

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

Abstract

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.