Soundness in verification of algebraic specifications with OBJ
2008 (English)In: Journal of Logic and Algebraic Programming, ISSN 1567-8326, Vol. 74, no 2, 112-114 p.Article in journal (Refereed) Published
The algebraic specification tools of the OBJ family have no notion of open terms or quantifiers. Nonetheless there are methods of proving universally quantified statements about specifications. These methods are examined and found to be unsound.
Place, publisher, year, edition, pages
2008. Vol. 74, no 2, 112-114 p.
Soundness, OBJ, Algebraic specification, Verification, Behavioural specification
IdentifiersURN: urn:nbn:se:uu:diva-14875DOI: 10.1016/j.jlap.2007.07.002ISI: 000253099000003OAI: oai:DiVA.org:uu-14875DiVA: diva2:42646