On combining algebraic specifications with first-order logic via Athena

DOI10.1007/978-3-319-68103-0_19zbMath1380.68287OpenAlexW2774258213MaRDI QIDQ1697091

Petros Stefaneas, Nikos Triantafyllou, Katerina Ksystra

Publication date: 15 February 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-68103-0_19

zbMATH Keywords

first-order logicalgebraic specificationsCafeOBJAthenaobservational transition systemsproof scores

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Uses Software

• SPASS
• CafeOBJ
• Maude
• Athena
• Unnamed Item
• Unnamed Item

This page was built for publication: On combining algebraic specifications with first-order logic via Athena