User experience with high level formal verification (panel)
Randy Bryant, G. Musgrave · 1998
Formal Verification is a “hot topic” for the user and vendor community. It has moved from the research community to the industrial domain in a very short time. Everyone wants to know more about how effective the techniques are. This experienced user panel will attempt to address your concerns in an open and frank way. They will give their personal opinions and not the commercial hype that so often heralds a new era.