J5.08
Limits of Automated Checking
Cards in this group · 3
- J5.08.1Automation can cover only some machine-decidable rules
- J5.08.2Semantic correctness cannot be judged automatically
- J5.08.3Passing an automated check does not mean the interface is usable