Towards a combination of CafeOBJ and PAT

DOI10.1007/978-3-642-54624-2_8zbMATH Open1407.68304OpenAlexW69709800MaRDI QIDQ5403071FDOQ5403071

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Institutions: abstract model theory for specification and programming
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• CafeOBJ Traces
• Title not available (Why is that?)

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)