Zero-Defect Designs, Why and How: Formal Verification vs. Automated Synthesis.

Dominique Borrione Paolo Prinetto

Published in: IFIP Congress (1989)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
symbolic model checking
semi automated
fully automated
design space exploration
computer aided
temporal logic
design principles
defect detection
artificial intelligence
software engineering
design process