Searching for authors named "Steven Miller" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Formal Verification of the AAMP5 Microprocessor - A Case Study in the . . .
- …This paper describes the experiences of Collins Commercial Avionics and SRI International in formally specifying and verifying the microcode for the AAMP5 microprocessor with the PVS verification system. This project was conducted to determine if an industrial microprocessor designed for use in real…
- Cited by 63 (1 self) – Add To MetaCart
-
Incomplete quadratic exponential sums in several variables
- … VARIABLES EDUARDO DUENEZ, STEVEN J. MILLER, AMITABHA ROY, AND HOWARD STRAUBING Abstract. We consider…
- Cited by 1 (0 self) – Add To MetaCart
-
Applying Formal Verification to a Commercial Microprocessor
- …. Srivas Steven P. Miller Computer Science Laboratory Collins Commercial Avionics SRI International…
- Cited by 21 (0 self) – Add To MetaCart
-
Detecting Mode Confusion Through Formal Modeling and Analysis
- … Steven P. Miller and James N. Potts Rockwell Collins, Inc., Cedar Rapids, Iowa The NASA STI Program…
- Cited by 4 (0 self) – Add To MetaCart
-
the AAMP-FV
- …NASA/CR-1999-208992 Formal Verification of Microcode Steven P. Miller, David A. Greve, Matthew M…
- Add To MetaCart
-
Detecting Mode Confusion Through Formal Modeling and Analysis
- …NASA/CR-1999-208971 Detecting Mode Confusion Through Formal Modeling and Analysis Steven P. Miller…
- Add To MetaCart
-
Formal Verification of an Avionics Microprocessor
- …Formal Verification of an Avionics Microprocessor Mandayam K. Srivas and Steven P. Miller (NASA…
- Cited by 11 (0 self) – Add To MetaCart
-
Specification-Based Prototyping for Embedded Systems
- … 1 , and Steven P. Miller 2 1 Computer Science and Engineering Department, University of Minnesota…
- Cited by 7 (0 self) – Add To MetaCart
-
A New Bitvectors Library For PVS
- …, Hampton, Virginia Mandayam K. Srivas SRI International, Menlo Park, California Dave A. Greve Steven P…
- Add To MetaCart
-
A Bitvectors Library For PVS
- … Dave A. Greve Steven P. Miller Rockwell Collins, Cedar Rapids, Iowa August 1996 National Aeronautics…
- Cited by 5 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
