Formalization Essential for Automation
Formal logic provides a medium for test calculation
Readability is key (ref. Kendra Cooper)
Q - TCEL’s cousin
- provides readable, industrial front-end with a mathematical foundation
- for any {intruder} {{target} and {intruder} are separated according to vertical separation rules}