The use of random simulation in formal verification.

Florian Krohm Andreas Kuehlmann Arjen Mets

Published in: ICCD (1996)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
simulation model
program slicing
simulation models
fuzzy logic
software architecture
simulation environment
symbolic model checking
functional verification