• Generic proof scores for the generate & check method in CafeOBJ 

      Futatsugi, Kokichi (2015-03-11)
      Generic proof scores for the generate & check method in CafeOBJ are presented. The generic proof scores codify the generate & check method as parameterized modules in the CafeOBJ language independently of specific systems ...