Formal verification of high-level conformance with symbolic simulation.

Roope Kaivola Armaghan Naik

Published in: HLDVT (2005)

Keyphrases

formal verification
high level
model checking
low level
intermediate level
model checker
symbolic model checking
bounded model checking
automated verification
programming language
simulation environment
functional verification
artificial intelligence
control system
rough sets
lower level