Final Report of the COST-247 Action |
Commercial Verification
Robert Kurshan
AT&T Bell Labs |
Murray Hills |
New Jersey |
USA |
Recently, increasing complexity of hardware designs and theoretical breakthroughs in algorithmic verification have provided the opportunity for formal verification to emerge from academia to commerce. Suddenly, there are at least four serious design tools based upon the theory of formal verification, available in the commercial market, with more on the way. I will discuss the basis and future of this new trend.
This presentation has been given during the COST-247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia, June 17--19, 1996).
COST-247 Working Group(s): 2
This Page was prepared by Mark Jorgensen.