CafeOBJ as a tool for behavioral system verification

DOI10.1007/3-540-36532-X_26MaRDI QIDQ4418593zbMATH OpenFDO

Authors Akira Mori, Kokichi Futatsugi, Akira Mori

Publication date 11 August 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2609/26090461.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Generate \& check method for verifying transition systems in CafeOBJ
• scientific article; zbMATH DE number 2172803
• Formal methods in CafeOBJ
• Principles of proof scores in CafeOBJ
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification

Cited in

(8)

• Logical foundations of CafeOBJ
• CafeOBJ
• Using CafeOBJ to mechanise refactoring proofs and application
• scientific article; zbMATH DE number 1231658 (Why is no real title available?)
• Generate \& check method for verifying transition systems in CafeOBJ
• CafeOBJ Traces
• Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
• On Automation of OTS/CafeOBJ Method

This page was built for publication: CafeOBJ as a tool for behavioral system verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4418593)