Titlebook: Engineering Interactive Systems; EIS 2007 Joint Worki Jan Gulliksen,Morton Borup Harning,Janet Wesson Conference proceedings 2008 Springer-

flex336

Combining Human Error Verification and Timing Analysis,ognitive architecture developed for the formal verification of human error related correctness properties. As a result, formal verification and GOMS-like timing analysis are combined within a unified framework. This allows one to judge whether a formally correct design is also acceptable on performa