Search algorithms for automated validation

DOI10.1016/j.jlap.2008.11.003zbMath1183.68227OpenAlexW2008047931MaRDI QIDQ1014571

Jan Friso Groote, Muck J. Van Weerdenburg, Tom A. N. Engels, Tim 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 checkingsearch algorithmsrandom searchvalidation

Mathematics Subject Classification ID

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

Uses Software

• SPIN

Cites Work

• Unnamed Item
• Unnamed Item
• Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7--14, 2008. Proceedings
• Analysis of a distributed system for lifting trucks.
• Distributed Extended Beam Search for Quantitative Model Checking

This page was built for publication: Search algorithms for automated validation