Towards a combination of CafeOBJ and PAT

DOI10.1007/978-3-642-54624-2_8MaRDI QIDQ5403071zbMATH OpenOpenAlexFDO

Authors Yongxin Zhao, Jin-Song Dong, Yang Liu, Jun Sun

Publication date 25 March 2014

Published in Specification, Algebra, and Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54624-2_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1942449
• Using formal methods to specify the functional properties of engineering software
• KeY: A Formal Method for Object-Oriented Systems
• scientific article; zbMATH DE number 1759367
• scientific article; zbMATH DE number 1538014

Cites work

• scientific article; zbMATH DE number 4074445 (Why is no real title available?)
• scientific article; zbMATH DE number 1942449 (Why is no real title available?)
• scientific article; zbMATH DE number 2172803 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Institutions: abstract model theory for specification and programming

Cited in

(2)

• scientific article; zbMATH DE number 1231658 (Why is no real title available?)
• CafeOBJ Traces

Describes a project that uses

Uses Software

• OBJ3
• CafeOBJ
• PAT
• UNITY

This page was built for publication: Towards a combination of CafeOBJ and PAT

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