Reliable Computing

Reliable computing encompasses how to specify, develop, and assess software/hardware that needs to meet properties such as safety, fault-tolerance, security, and "reliability".

* A Complete Design Environment for Asynchronous Circuits
* A Design Language for Quantum Computing
* Formal Mathematics and Algorithms
* Formal Methods for Life-Critical Systems
* High Assurance Systems through Aspect-Oriented Specification and Verification
* Interactive Display of Probabilistic Geo-Spatial Information
* Larch/VHDL Hardware Verification
* SYNAPSE (Synthesizing Adaptive Protocols by Selective Enumeration)
* Tablewise
* TIGer: A Test Instance Generator for Large Programs
* Timing Analysis by Model Checking