Formal Verification Based on Guided Random Walks

DOI10.1007/978-3-642-00255-7_6zbMath1211.68245OpenAlexW1550621302MaRDI QIDQ3605460

Albert Nymeyer, Thang H. Bui

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)

Uses Software

• NuSMV

Cites Work

• Unnamed Item
• NuSMV: A new symbolic model checker
• AI 2003: Advances in Artificial Intelligence
• Tools and Algorithms for the Construction and Analysis of Systems
• Automated Technology for Verification and Analysis
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems

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