Collaborated with:A.R.0001 K.Futatsugi J.Qian M.Z.0002 Y.Wang
Talks about:maud (2) cafe (2) interpret (1) program (1) verifi (1) formal (1) updat (1) model (1) dynam (1) tool (1)
Person: Kazuhiro Ogata 0001
DBLP: 0001:Kazuhiro_Ogata
Contributed to:
20162019Wrote 2 papers:
- FASE-2016-RiescoOF #interpreter #maude #named
- CafeInMaude: A CafeOBJ Interpreter in Maude (AR0, KO0, KF), pp. 377–380.
- FASE-2019-QianZWO #c #modelling #named #source code #verification
- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs (JQ, MZ0, YW, KO0), pp. 299–305.