Formal Verification in a Commercial Setting

@inproceedings{Kurshan1997FormalVI,
  title={Formal Verification in a Commercial Setting},
  author={Robert P. Kurshan},
  booktitle={DAC},
  year={1997}
}
This tutorial addresses the following questions:¿ why do formal verification?¿ who is doing it today?¿ what are they doing?¿ how are they doing it?¿ what about the future? 

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 50 extracted citations

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Z

  • R. H. Hardin
  • Har’El, R. P. Kurshan, COSPAN, Springer LNCS 1102
  • 1996
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…