scientific article; zbMATH DE number 2080054
zbMATH Open1043.68591MaRDI QIDQ4472244FDOQ4472244
Sarfraz Khurshid, Patrice Godefroid
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800266.htm
Title of this publication is not available (Why is that?)
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
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)
Cited In (6)
- Formal Verification of Concurrent Systems via Directed Model Checking
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes
- Search algorithms for automated validation
- 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
Uses Software
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)
