Formal verification of UI using the power of a recent tool suite.

Raquel Oliveira Sophie Dupuy-Chessa Gaëlle Calvary

Published in: EICS (2014)

Keyphrases

formal verification
tool suite
model checking
user interface
model checker
functional verification
symbolic model checking
bounded model checking
web applications
power consumption
automated verification
reverse engineering
program slicing
software development