Verification of properties of interactive components from their executable code.

Stéphane Chatty Mathieu Magnaudet Daniel Prun

Published in: EICS (2015)

Keyphrases

desirable properties
source code
model checking
computer graphics
specific features
data analysis
user interaction
building blocks
face verification
topological properties
formal verification
functional verification