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

Model Checking and Other Ways of Automating Formal Methods
 by Dr. John Rushby.

From Software Quality Week.
San Francisco, CA.
May, 1995.


Abstract
Compares theorem proving and model checking and describes some applications of model checking in PVS.
BibTEX Entry
@article{unspecified,
    AUTHOR = {John Rushby},
    TITLE = {Model Checking and Other Ways of Automating Formal Methods},
    YEAR = {1995},
    MONTH = {May},
    NOTE = {Position paper for panel on Model Checking for Concurrent Programs},
    ADDRESS = {San Francisco, {CA}},
    URL = {http://www.csl.sri.com/papers/sqw95/},
    BOOKTITLE = {Software Quality Week}
}
Files
 













 

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