Books by Ricky W Butler

The Semi-Markov Unreliability Range Evaluator (SURE) program

The art of fault-tolerant system reliability modeling

A preliminary transient-fault experiment on the SIFT computer system

Validation of a fault-tolerant clock synchronization system

The Fault-Tree Compiler (FTC)

A survey of provably correct fault-tolerant clock synchronization techniques

Validation of a fault-tolerant clock synchronization system

An introduction to requirements capture using PVS

The Semi-Markov Unreliability Range Evaluator (SURE) program

Formal design and verification of a reliable computing platform for real-time control

SURE reliability analysis

Techniques for modeling the reliability of fault-tolerant system s with the Markov state-space approach

Techniques for modeling the reliability of fault-tolerant systems with the Markov state-space approach

An abstract specification language for Markov reliability models

A note about HARP's state trimming method

The PAWS and STEM reliability analysis programs

The Kemetic Path - Achieving High Spirituality

Hardware proofs using EHDM and the RSRE verification methodology

An elementary tutorial on formal specification and verification using PVS

A PVS graph theory library

The SURE reliability analysis program

The fault-tree compiled (FTC)