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

• 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

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)

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

• 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)