| Computer Science Laboratory | |
| Contact | |
 | People at CSL |
| Projects at CSL |
| Research Programs |
| Division Home | |
 Formal Methods for Dependable Real-Time Systems by Dr. John Rushby. From International Symposium on Real-Time Embedded Processing for Space Applications. 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
©
2025 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy