Searching for "Modular Redundancy for Theorem Proving." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Modular Redundancy for Theorem Proving
- …Modular Redundancy for Theorem Proving Miquel Bofill y , Guillem Godoy z , Robert Nieuwenhuis…
- Add To MetaCart
-
Provable Transient Recovery for Frame-Based, Fault-Tolerant Computing Systems
- …, modular redundancy, theorem proving, transient fault recovery. 1 Introduction NASA Langley Research…
- Cited by 8 (0 self) – Add To MetaCart
-
Formal Techniques for Synchronized Fault-Tolerant Systems
- … redundancy, theorem proving, transient fault recovery. 1 Introduction NASA is engaged in a major research…
- Cited by 10 (1 self) – Add To MetaCart
Showing 1 through 3.
