Towards a Combination of CafeOBJ and PAT

DOI10.1007/978-3-642-54624-2_8zbMath1407.68304OpenAlexW69709800MaRDI QIDQ5403071

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

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)

Uses Software

• OBJ3
• CafeOBJ
• PAT
• UNITY

Cites Work

• Institutions: abstract model theory for specification and programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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