Formal Verification of Use Case Maps with Real Time Extensions.

Jameleddine Hassine Juergen Rilling Rachida Dssouli

Published in: SDL Forum (2007)

Keyphrases

formal verification
real time
model checking
model checker
automated verification

bounded model checking
vision system
symbolic model checking
program slicing
low cost

temporal logic
real time systems
efficient implementation
formal methods
formal specification

orders of magnitude
test set
expert systems
neural network