Login / Signup
Formal Verification of a Space System's User Interface With the IVY Workbench.
José Creissac Campos
Manuel Sousa
Miriam C. Bergue Alves
Michael D. Harrison
Published in:
IEEE Trans. Hum. Mach. Syst. (2016)
Keyphrases
</>
formal verification
user interface
model checking
symbolic model checking
search space
model checker
automated verification
human computer interaction
bounded model checking
program slicing
open source
low dimensional
user interaction
vector space
temporal logic
user interface design