Vadim Okun, Paul E. Black, and Yaacov Yesha, Testing with Model Checker: Insuring Fault Visibility, WSEAS Transactions on Systems, Vol. 2, Issue 1, pages 77-82, January 2003.
Also published on CD-ROM:
Proceedings of 2002 WSEAS International Conference on System Science, Applied Mathematics & Computer Science, and Power Engineering Systems, edited by Nikos E. Mastorakis and Petr Ekel, pages 1351-1356, WSEAS, Rio de Janeiro, Brazil (October 2002).
Get the conference paper in
Postscript (62k), or
Get the more complete, NIST-IR 6929, in PDF (202k), DVI (58k), or Postscript (174k).
This page's URL is /~black/Papers/propag2002.html
Updated Mon May 19 16:01:31 2003by Paul E. Black (email@example.com)
Go to Black's papers or NIST home page.