Random walk based heuristic algorithms for distributed memory model checking

MaRDI QIDQ2845493zbMATH OpenFDO

Authors Hemanthkumar Sivaraj, Ganesh Gopalakrishnan

Publication date 30 August 2013

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

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) Distributed algorithms (68W15)

Recommendations

• scientific article; zbMATH DE number 1670779
• Distributed breadth-first search LTL model checking
• A probabilistic dynamic technique for the distributed generation of very large state spaces
• Memory-efficient tactics for randomized LTL model checking
• Cluster-Based LTL Model Checking of Large Systems

Cited in

(2)

• Search algorithms for automated validation
• On minimising the maximum expected verification time

Describes a project that uses

Uses Software

• Bandera
• Chaff
• SPIN

This page was built for publication: Random walk based heuristic algorithms for distributed memory model checking

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