Testing Decomposition of Component Specifications Based on a Rule for Formal Verification.

Mass Soldal Lund

Published in: QSIC (2003)

Keyphrases

formal verification
model checking
bounded model checking
model checker
automated verification
symbolic model checking
association rules
temporal logic
rule sets
formal specification
program slicing
high level
open source
software components
active databases
transition systems