Hardware acceleration for model checking

MaRDI QIDQ3528929zbMATH OpenFDO

Authors Jens Brandt, Klaus Schneider, Adrian Willenbücher

Publication date 17 October 2008

zbMATH Keywords

massively parallel hardwarereachable states

Mathematics Subject Classification ID

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

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
• Instance-specific accelerators for minimum covering
• Model checking: a hardware design perspective
• CUDA accelerated LTL model checking -- revisited
• 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)