Hardware acceleration for model checking

zbMATH Open1160.68435MaRDI QIDQ3528929FDOQ3528929

Authors: Jens Brandt, Klaus Schneider, Adrian Willenbücher 

Publication date: 17 October 2008

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

zbMATH Keywords

reachable statesmassively parallel hardware

Mathematics Subject Classification ID

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

Cited In (5)

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

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)