Integrating Formal Verification Methods with A Conventional Project Design Flow.

Ásgeir Th. Eiríksson

Published in: DAC (1996)

Keyphrases

formal verification
case study
computational cost
empirical studies
benchmark datasets
significant improvement
knowledge based systems
machine learning methods
software architecture
future plans