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.