Login / Signup
Formal Verification of Graphical Properties of Interactive Systems.
Daniel Prun
Pascal Béger
Published in:
Proc. ACM Hum. Comput. Interact. (2022)
Keyphrases
</>
formal verification
interactive systems
model checking
human computer interaction
bounded model checking
symbolic model checking
user interface
artificial intelligence
temporal logic
model checker
automated verification