uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Soundness in verification of algebraic specifications with OBJ
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics, Mathematical Logic. (Matematisk Logik)
2008 (English)In: Journal of Logic and Algebraic Programming, ISSN 1567-8326, Vol. 74, no 2, 112-114 p.Article in journal (Refereed) Published
Abstract [en]

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.
Keyword [en]
Soundness, OBJ, Algebraic specification, Verification, Behavioural specification
National Category
Computer Science
URN: urn:nbn:se:uu:diva-14875DOI: 10.1016/j.jlap.2007.07.002ISI: 000253099000003OAI: oai:DiVA.org:uu-14875DiVA: diva2:42646
Available from: 2008-01-31 Created: 2008-01-31Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Wilander, Olov
By organisation
Mathematical Logic
In the same journal
Journal of Logic and Algebraic Programming
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 162 hits
ReferencesLink to record
Permanent link

Direct link