On combining algebraic specifications with first-order logic via Athena
From MaRDI portal
Publication:1697091
DOI10.1007/978-3-319-68103-0_19zbMath1380.68287MaRDI QIDQ1697091
Petros Stefaneas, Katerina Ksystra, Nikos Triantafyllou
Publication date: 15 February 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-68103-0_19
first-order logic; algebraic specifications; CafeOBJ; Athena; observational transition systems; proof scores
68Q65: Abstract data types; algebraic specification
Uses Software