Verification of AMBA using a combination of model checking and theorem proving

MaRDI QIDQ2863854zbMATH OpenFDO

Authors Hasan Amjad

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105052497?np=y

zbMATH Keywords

model checkingtheorem provingsystem-on-chiptool combination

Mathematics Subject Classification ID

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

Recommendations

• A methodology for hardware verification using compositional model checking
• scientific article; zbMATH DE number 1088222
• scientific article; zbMATH DE number 1852158
• scientific article; zbMATH DE number 1903361
• scientific article; zbMATH DE number 1538014

Cited in

(1)

• scientific article; zbMATH DE number 1088222 (Why is no real title available?)

This page was built for publication: Verification of AMBA using a combination of model checking and theorem proving

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