Efficient model checking of hardware using conditioned slicing

MaRDI QIDQ2848428zbMATH OpenFDO

Authors Shobha Vasudevan, Jacob A. Abraham, E. Allen Emerson

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002495

Mathematics Subject Classification ID

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

Recommendations

• Slicing software for model construction
• scientific article; zbMATH DE number 2102696
• Model checking: a hardware design perspective
• Slicing Abstractions
• scientific article; zbMATH DE number 5506101

Cited in

(2)

• Model checking: a hardware design perspective
• Word level bitwidth reduction for unbounded hardware model checking

This page was built for publication: Efficient model checking of hardware using conditioned slicing

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