Mechanical Verification of Interactive Programs Specified by Use Cases.

Guillaume Claret Yann Régis-Gianas

Published in: FormaliSE@ICSE (2015)

Keyphrases

model checking
user friendly
multi agent
computer graphics
real time
symbolic execution
highly interactive
computer programs
case base
hardware designs
automatic programming
interactive systems
control flow
virtual reality
high level
information systems
databases
data sets