scientific article; zbMATH DE number 2080054

MaRDI QIDQ4472244zbMATH OpenFDO

Authors Patrice Godefroid, Sarfraz Khurshid

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2280/22800266.htm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• A probabilistic dynamic technique for the distributed generation of very large state spaces
• Extended beam search for non-exhaustive state space analysis
• PARSSSE: AN ADAPTIVE PARALLEL STATE SPACE SEARCH ENGINE
• Heuristic Search for the Analysis of Graph Transition Systems
• Guided model checking with a Bayesian meta-heuristic

Cited in

(6)

• \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes
• Search algorithms for automated validation
• Formal verification of concurrent systems via directed model checking
• Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
• Using heuristic search for finding deadlocks in concurrent systems
• Extended beam search for non-exhaustive state space analysis

Describes a project that uses

Uses Software

• veriSoft

This page was built for publication:

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