Verification of Unloadable Modules.

Bart Jacobs Jan Smans Frank Piessens

Published in: FM (2011)

Keyphrases

formal verification
model checking
face verification
formal analysis
functional modules
modular structure
concurrent systems
artificial intelligence
building blocks
formal methods
test generation
modular architecture
verification method
modular neural network
functional verification