Generate & Check Method in CafeOBJ Revised
Lecturer Kokichi Futatsugi JAIST, Research Center for Software Verification, Japan Place/Time JAIST Collaboration Room 6 (I57-g) 2014/07/03 (Thu) 15:00 to 17:00 Abstract A new method for verification of transition systems is presented. The state space of a transition system is defined as a quotient set (i.e. a set of equivalence […]