Combination of Simulation and Formal Verification.

Jürgen Ruf Thomas Kropf

Published in: MBMV (2002)

Keyphrases

formal verification
model checking
automated verification
symbolic model checking
simulation models
temporal logic
simulation model
bounded model checking
neural network
genetic algorithm
open source
program slicing
functional verification