SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Acceptance of Formal Methods: Lessons from Hardware Design
 by Dr. John Rushby & David L. Dill.

Appears in IEEE Computer, Volume 29, Number 4.
April, 1996.
Pages 23–24.


Abstract
The IEEE magazine Computer has a 15-page "roundtable" on formal methods in its April 1996 issue (Vol. 29, No. 4, pp. 16-30). Organized by Hossein Saiedian and titled An Invitation to Formal Methods, the article features short articles by Hossein Saiedian, Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David L. Parnas, John Rushby, Jeannette Wing, and Pamela Zave. Here's our contribution.
BibTEX Entry
@ARTICLE{Dill&Rushby96,
    AUTHOR = {David {L.} Dill and John Rushby},
    TITLE = {Acceptance of Formal Methods: Lessons from Hardware Design},
    JOURNAL = {{IEEE} Computer},
    VOLUME = {29},
    NUMBER = {4},
    YEAR = {1996},
    PAGES = {23--24},
    MONTH = {apr},
    URL = {http://www.csl.sri.com/papers/computer96/}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy