Model-checking user behaviour using interacting components

DOI10.1007/s00165-008-0101-8zbMath1186.68277OpenAlexW2090909307MaRDI QIDQ1047208

Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte, Thomas Anung Basuki

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-0101-8

zbMATH Keywords

human-computer interactionmodel-checkingrewrite systemsinteracting components model

Mathematics Subject Classification ID

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

Uses Software

• Maude

Cites Work

• Demonstrating the cognitive plausability of interactive system specifications
• Unnamed Item
• Unnamed Item

This page was built for publication: Model-checking user behaviour using interacting components