Formal Verification of the Implementability of Timing Requirements.

Xiayong Hu Mark Lawford Alan Wassyng

Published in: FMICS (2008)

Keyphrases

formal verification
model checking
model checker
symbolic model checking
bounded model checking
automated verification
program slicing
user requirements
application specific
functional verification
data sets
neural network
case study
knowledge based systems
real valued