Automated flaw detection in algebraic specifications
From MaRDI portal
Publication:616853
DOI10.1007/s10817-010-9166-1zbMath1207.68337MaRDI QIDQ616853
Gerhard Schellhorn, Wolfgang Reif, Andriy Dunets
Publication date: 12 January 2011
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-010-9166-1
theorem proving; first-order logic; finite models; algebraic specifications; formal methods; abstract data types; SAT checking
68Q65: Abstract data types; algebraic specification
Uses Software