First Steps Towards Automating Hardware Proofs in HOL

13 years 7 months ago

Download rsg.informatik.uni-kl.de

D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe, Germany

Ramayya Kumar, Thomas Kropf, Klaus Schneider

Real-time Traffic

Automated Reasoning | Klaus Schneider University | Ramayya Kumar | TPHOL 1991 |

claim paper

» TBox Classification in Parallel Design and First Evaluation

» Sensitivity analysis for faultanalysis and tolerance in RF frontend circuitry

» On the Correctness of Operating System Kernels

» On the Adequateness of the Connection Method

» Power analysis of embedded operating systems

» Reasoning About Coding Theory The Benefits We Get from Computer Algebra

» StoreGPU exploiting graphics processing units to accelerate distributed storage systems

Post Info
More Details (n/a)

Added	27 Aug 2010
Updated	27 Aug 2010
Type	Conference
Year	1991
Where	TPHOL
Authors	Ramayya Kumar, Thomas Kropf, Klaus Schneider

Comments (0)

Sciweavers

First Steps Towards Automating Hardware Proofs in HOL

Automated Reasoning | Klaus Schneider University | Ramayya Kumar | TPHOL 1991 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers