Automating most parts of hardware proofs in HOL

DOI10.1007/3-540-55179-4_35MaRDI QIDQ6493555

Ramayya Kumar, Thomas Kropf, Klaus Schneider

Publication date: 29 April 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Seventy-five problems for testing automatic theorem provers
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Automating most parts of hardware proofs in HOL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6493555)