Report copyright - Modal Interfaces: Unifying Interface Automata and Modal ......Modal Specifications Key Concepts • Modal Automata: similar to Nondeterministic Finite Automata, but with must and may
Please pass captcha verification before submit form