Formal Verification in a Component-Based Reuse Methodology.

Petru Eles Zebo Peng Daniel Karlsson

Published in: ISSS (2002)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
program slicing
temporal logic
design methodology
neural network
artificial intelligence
learning objects
software reuse
functional verification