Concrete Impact of Formal Verification on Quality in IP Design and Implementation.

Umberto Rossi Andrea Fedeli Marco Boschini Franco Toto

Published in: ISQED (2001)

Keyphrases

formal verification
model checking
model checker
automated verification
high quality
knowledge based systems
implementation issues
object oriented
programming language
orders of magnitude
software architecture
design methodology
specification language
current status
circuit design