Guided model checking with a Bayesian meta-heuristic

MaRDI QIDQ5480169zbMATH OpenFDO

Authors

Publication date 26 July 2006

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model checking of concurrent software systems via heuristic-guided SAT solving
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 2087636
• Model Checking Software
• scientific article; zbMATH DE number 1487475

Cited in

(4)

• Formal Verification Based on Guided Random Walks
• Abstract reduction in directed model checking CCS processes
• scientific article; zbMATH DE number 2080054 (Why is no real title available?)
• Formal verification of concurrent systems via directed model checking

This page was built for publication: Guided model checking with a Bayesian meta-heuristic

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