Model checking interactor specifications

DOI10.1023/A:1011265604021MaRDI QIDQ5955433zbMATH OpenOpenAlexFDO

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

Publication date 13 February 2002

Published in Automated Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1011265604021

zbMATH Keywords

automation surprisesinteractive systemssoftware verification

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2086970
• An approach to formal verification of human-computer interaction
• Situational interactive mode organization
• scientific article; zbMATH DE number 2033517
• scientific article; zbMATH DE number 2033515

Cited in

(4)

• Model-checking user behaviour using interacting components
• Situational interactive mode organization
• scientific article; zbMATH DE number 2033517 (Why is no real title available?)
• scientific article; zbMATH DE number 2084460 (Why is no real title available?)

This page was built for publication: Model checking interactor specifications

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