Extended beam search for non-exhaustive state space analysis

DOI10.1016/j.jlap.2011.06.002zbMath1269.68048OpenAlexW2123777643MaRDI QIDQ652163

M. Torabi Dashti, Anton Wijs

Publication date: 19 December 2011

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.2011.06.002

zbMATH Keywords

heuristicsmodel checkingformal analysisguided traversalstate space generation

Mathematics Subject Classification ID

Searching and sorting (68P10) Nonnumerical algorithms (68W05) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• mCRL2
• SPIN
• Uppaal
• LTSmin
• mCRL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on two problems in connexion with graphs
• Linear-space best-first search
• Depth-first iterative-deepening: An optimal admissible tree search
• KBFS: K-Best-First Search
• Job shop scheduling with beam search
• Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
• Beam search algorithms for the single machine total weighted tardiness scheduling problem with sequence-dependent setups
• Heuristic search viewed as path finding in a graph
• Pruning State Spaces with Extended Beam Search
• Survey on Directed Model Checking
• Hierarchical Adaptive State Space Caching Based on Level Sampling
• Falsification of LTL Safety Properties in Hybrid Systems
• The Single Machine Early/Tardy Problem
• A Recovering Beam Search algorithm for the one-machine dynamic total completion time scheduling problem
• State-Space Search
• Distributed Extended Beam Search for Quantitative Model Checking
• Improved lower bounds for the early/tardy scheduling problem with no idle time
• Formal Methods for the Design of Real-Time Systems
• Foundations of Software Science and Computational Structures
• Multi-objective Model Checking of Markov Decision Processes
• Formal Modeling and Analysis of Timed Systems
• Model Checking Software
• Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3--7, 2000. Revised lectures

This page was built for publication: Extended beam search for non-exhaustive state space analysis