Replication and Abstraction: Symmetry in Automated Formal Verification.

Thomas Wahl Alastair F. Donaldson

Published in: Symmetry (2010)

Keyphrases

formal verification
bounded model checking
model checking
model checker
symbolic model checking
automated verification
high level
semi automated
program slicing
distributed databases
functional verification
response time
fully automated
data partitioning