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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, E-ISSN 1873-5940, 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
Identifiers
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-31 Last updated: 2017-12-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Wilander, Olov

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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 378 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf