Search algorithms for automated validation
From MaRDI portal
Publication:1014571
Recommendations
Cites work
- scientific article; zbMATH DE number 2080054 (Why is no real title available?)
- Analysis of a distributed system for lifting trucks.
- Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7--14, 2008. Proceedings
- Distributed Extended Beam Search for Quantitative Model Checking
- Random walk based heuristic algorithms for distributed memory model checking
This page was built for publication: Search algorithms for automated validation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1014571)