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

Formal Methods for Dependable Real-Time Systems
 by Dr. John Rushby.

From International Symposium on Real-Time Embedded Processing for Space Applications.
Cépaduès-éditions, Toulouse, France, CNES, the French Space Agency, Les Saintes-Maries-de-la-Mer, France.
November, 1992.
Pages 355–366.


Abstract
We outline the motivation for using formal methods to specify and reason about real-time properties, and sketch some of the approaches that have been proposed and used.
BibTEX Entry
@inproceedings{repsa92,
    AUTHOR = {John Rushby},
    TITLE = {Formal Methods for Dependable Real-Time Systems},
    BOOKTITLE = {International Symposium on Real-Time Embedded Processing for Space Applications},
    YEAR = {1992},
    PAGES = {355--366},
    ADDRESS = {Les Saintes-Maries-de-la-Mer, France},
    MONTH = {nov},
    ORGANIZATION = {{CNES,} the French Space Agency},
    PUBLISHER = {C\'{e}padu\`{e}s-\'{e}ditions, Toulouse, France},
    URL = {http://www.csl.sri.com/papers/repsa92/}
}
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