Higher Order Logic and Hardware Verification

DOI10.1017/CBO9780511569845MaRDI QIDQ3184629zbMATH OpenOpenAlexFDO

Authors Thomas F. Melham

Publication date 22 October 2009

Full work available at URL https://doi.org/10.1017/cbo9780511569845

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Computer system organization (68M99) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Cited in

(2)

• Symbolic trajectory evaluation
• scientific article; zbMATH DE number 3991418 (Why is no real title available?)

This page was built for publication: Higher Order Logic and Hardware Verification

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