Searching for authors named "Matthew Wilding" – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
A Detailed Processor Model for Verification of Real-time Applications
- …A Detailed Processor Model for Verification of Real-time Applications Matthew Wilding…
- Add To MetaCart
-
A Mechanically Verified Application for a Mechanically Verified Environment
- …A Mechanically Verified Application for a Mechanically Verified Environment Matthew Wilding…
- Cited by 8 (4 self) – Add To MetaCart
-
Using a single-threaded object to speed a verified graph pathfinder
- …Rockwell Collins Using a Single-Threaded Object to Speed a Veried Graph Pathnder Matthew Wilding…
- Cited by 4 (1 self) – Add To MetaCart
-
A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy
- …A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy Matthew Wilding…
- Cited by 5 (0 self) – Add To MetaCart
-
vFaat: von Neumann Formal Analysis and Annotation Tool
- …vFaat: von Neumann Formal Analysis and Annotation Tool David Greve and Matthew Wilding Rockwell…
- Add To MetaCart
-
Evaluatable, High-Assurance Microprocessors
- …Introduction Evaluatable, High-Assurance Microprocessors David Greve and Matthew Wilding {dagreve…
- Cited by 4 (2 self) – Add To MetaCart
-
Robust Computer System Proofs in PVS
- …Robust Computer System Proofs in PVS Matthew M. Wilding Advanced Technology Center Rockwell…
- Cited by 7 (2 self) – Add To MetaCart
-
Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle
- … David Hardin, Matthew Wilding, and David Greve Advanced Technology Center Rockwell Collins Cedar Rapids…
- Cited by 14 (3 self) – Add To MetaCart
-
Efficient Simulation of Formal Processor Models
- …Rockwell Collins - approved for publication Efficient Simulation of Formal Processor Models Matthew…
- Cited by 7 (2 self) – Add To MetaCart
-
Orpheus: A Self-Checking Translation Tool Arrangement for Flight Critical Hardware Development
- … David Greve Matthew Wilding Mark Bickford y David Guaspari y Abstract We describe Orpheus, our…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
