Representational reasoning and verification

DOI10.1007/PL00003934MaRDI QIDQ5930073zbMATH OpenOpenAlexFDO

Authors Gavin J. Doherty, J. C. T. Campos, Michael D. Harrison

Publication date 6 November 2001

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/pl00003934, https://hdl.handle.net/1822/696

zbMATH Keywords

distributed cognitionhuman-computer interaction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Verification of logic programs
• scientific article; zbMATH DE number 781332
• scientific article; zbMATH DE number 5917352
• Reasoning in symbolic computation
• Representation and Human Reasoning
• A Verification Logic for Rewriting Logic
• Representing and Reasoning with Operational Semantics
• Knowledge representation and defeasible reasoning

Cited in

(6)

• Verification-guided modelling of salience and cognitive load
• Using virtual reality to validate system models
• scientific article; zbMATH DE number 1964934 (Why is no real title available?)
• Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations
• scientific article; zbMATH DE number 2086970 (Why is no real title available?)
• scientific article; zbMATH DE number 1857499 (Why is no real title available?)

This page was built for publication: Representational reasoning and verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5930073)