flex336
发表于 2025-4-1 03:16:49
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