Towards a Combination of CafeOBJ and PAT

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

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

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

68Q60: Specification and verification (program logics, model checking, etc.)

68Q65: Abstract data types; algebraic specification

Uses Software

• OBJ3
• CafeOBJ
• PAT
• UNITY