Verification-guided modelling of salience and cognitive load

DOI10.1007/s00165-008-0102-7zbMath1186.68300OpenAlexW2048665786WikidataQ61929194 ScholiaQ61929194MaRDI QIDQ1047211

Paul Curzon, Jonathan Back, Ann Blandford, Rimvydas Rukšėnas

Publication date: 4 January 2010

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

Full work available at URL: https://doi.org/10.1007/s00165-008-0102-7

zbMATH Keywords

formal verificationmodel checkingcognitive loadsaliencehuman error

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Modelling and analysing neural networks using a hybrid process algebra ⋮ Analysing neurobiological models using communicating automata

Cites Work

• Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
• An approach to formal verification of human-computer interaction
• Demonstrating the cognitive plausability of interactive system specifications
• The formalization of a cognitive architecture and its application to reasoning about human computer interaction

This page was built for publication: Verification-guided modelling of salience and cognitive load