Under-approximation heuristics for grid-based bounded model checking

MaRDI QIDQ2848659zbMATH OpenFDO

Authors Subramanian Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson

Publication date 26 September 2013

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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Recommendations

• Correct Hardware Design and Verification Methods
• Towards better heuristics for solving bounded model checking problems
• Implication-Based Approximating Bounded Model Checking
• Parallel SAT solving in bounded model checking
• scientific article; zbMATH DE number 1956571

Cited in

(1)

• Correct Hardware Design and Verification Methods

Describes a project that uses

Uses Software

• SATORI

This page was built for publication: Under-approximation heuristics for grid-based bounded model checking

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