next up previous

Final Report of the COST-247 Action

Commercial Verification

Robert Kurshan

AT&T Bell Labs
Murray Hills
New Jersey


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.

Back to the VASY Home page