Using Symbolic Simulation for Bounded Property Checking.

Jürgen Ruf Prakash Mohan Peranandam Thomas Kropf Wolfgang Rosenstiel

Published in: FDL (2003)

Keyphrases

simulation model
case study
simulation models
data sets
information retrieval
simulation environment
integrity constraints
consistency checking
discrete event simulation