Search algorithms for automated validation

DOI10.1016/J.JLAP.2008.11.003MaRDI QIDQ1014571zbMATHOpenAlexFDO

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

zbMATH Keywords

model checkingvalidationsearch algorithmsrandom search

Mathematics Subject Classification ID

Searching and sorting (68P10) Nonnumerical algorithms (68W05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A New Heuristic Search Technique-Algorithm SA
• Local search in model checking
• Directed and optimizing search methods in complex data structures.
• Protocol validation — principles and applications
• Heuristic search and related boundary value problems

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

Describes a project that uses

Uses Software

• SPIN

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)