Guided model checking with a Bayesian meta-heuristic

zbMATH Open1096.68673MaRDI QIDQ5480169FDOQ5480169

Author name not available (Why is that?)

Publication date: 26 July 2006

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

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)

Cited In (4)

• Formal Verification of Concurrent Systems via Directed Model Checking
• Abstract reduction in directed model checking CCS processes
• Title not available (Why is that?)
• Formal Verification Based on Guided Random Walks

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)