Hardware acceleration for model checking

MaRDI QIDQ3528929zbMATH OpenFDO

Authors Jens Brandt, Klaus Schneider, Adrian Willenbücher

Publication date 17 October 2008

zbMATH Keywords

reachable statesmassively parallel hardware

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)

Recommendations

• scientific article; zbMATH DE number 2080188
• Model checking: a hardware design perspective
• scientific article; zbMATH DE number 910719
• Explicit-state model checking
• scientific article; zbMATH DE number 1487860

Cited in

(5)

• Word level bitwidth reduction for unbounded hardware model checking
• CUDA accelerated LTL model checking -- revisited
• Model checking: a hardware design perspective
• Instance-specific accelerators for minimum covering
• Model Checking Software

This page was built for publication: Hardware acceleration for model checking

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