Search algorithms for automated validation
DOI10.1016/J.JLAP.2008.11.003zbMATH Open1183.68227OpenAlexW2008047931MaRDI QIDQ1014571FDOQ1014571
Authors: Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, T. A. C. Willemse
Publication date: 29 April 2009
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2008.11.003
Recommendations
Searching and sorting (68P10) Nonnumerical algorithms (68W05) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Distributed Extended Beam Search for Quantitative Model Checking
- Analysis of a distributed system for lifting trucks.
- Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7--14, 2008. Proceedings
- Random walk based heuristic algorithms for distributed memory model checking
Uses Software
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)