TY  - JOUR
AU  - Riesco Rodríguez, Adrián
AU  - Ogata, Kazuhiro
PY  - 2022
DO  - 10.1016/j.jss.2022.111302
SN  - 0164-1212
UR  - https://hdl.handle.net/20.500.14352/71554
T2  - Journal of Systems and Software
AB  - CafeOBJ is a language for specifying and verifying a wide variety of software and/or hardware systems. Traditionally, verification has been carried out via proof scores, which consist of reducing goalrelated terms in user-defined modules. Although...
LA  - eng
M2  - 111302
PB  - Elsevier
KW  - CafeOBJ
KW  - Theorem proving
KW  - Proof scores
KW  - Script inference
KW  - script generation
TI  - An integrated tool set for verifying CafeOBJ specifications
TY  - journal article
VL  - 189
ER  -