KIT | KIT-Bibliothek | Impressum

Automating most parts of hardware proofs in HOL

Schneider, Klaus; Kumar, Ramayya; Kropf, Thomas



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Englisch
Identifikator KITopen ID: 24092
Erscheinungsvermerk In: Computer aided verification. CAV 91, Aalborg, Denmark 1991. Ed.: K. G. Larsen. Berlin 1992. S. 454-465. (Lecture notes in computer science. 575.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page