Formal Verification Based on Guided Random Walks

DOI10.1007/978-3-642-00255-7_6MaRDI QIDQ3605460zbMATH OpenOpenAlexFDO

Authors Thang H. Bui, Albert Nymeyer

Publication date 24 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00255-7_6

Mathematics Subject Classification ID

Sums of independent random variables; random walks (60G50) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Guided model checking with a Bayesian meta-heuristic
• Automated Technology for Verification and Analysis
• Software model checking
• The probabilistic model checking landscape
• Formal models for software development. Model checking, verification, analysis and simulation

Cites work

• AI 2003: Advances in Artificial Intelligence
• Automated Technology for Verification and Analysis
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 1746648 (Why is no real title available?)
• NuSMV: A new symbolic model checker
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(1)

• Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems

Describes a project that uses

Uses Software

• NuSMV

This page was built for publication: Formal Verification Based on Guided Random Walks

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