Integrating Theories and Techniques for Program Modelling, Design and Verification.

Bernhard K. Aichernig Jifeng He Zhiming Liu Mike Reed

Published in: VSTTE (2005)

Keyphrases

data mining
design decisions
formal verification
automatic programming
modelling language
source code
building blocks
petri net
engineering design
static analysis
design space
control program
functional verification