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