Abstractions and pattern databases: the quest for succinctness and accuracy

DOI10.1007/978-3-642-19835-9_26MaRDI QIDQ3000659zbMATHOpenAlexFDO

Authors Sebastian Kupferschmid, Martin Wehrle

Publication date 19 May 2011

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-19835-9_26

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems
• Fast Directed Model Checking Via Russian Doll Abstraction
• Transition-Based Directed Model Checking
• The Causal Graph Revisited for Directed Model Checking

Cites work

• A theory of timed automata
• Fast Directed Model Checking Via Russian Doll Abstraction
• Model Checking Software
• Survey on Directed Model Checking
• The Causal Graph Revisited for Directed Model Checking
• Tools and Algorithms for the Construction and Analysis of Systems
• Transition-Based Directed Model Checking
• Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL

Cited in

(5)

• Fast Directed Model Checking Via Russian Doll Abstraction
• Tools and Algorithms for the Construction and Analysis of Systems
• Abstract reduction in directed model checking CCS processes
• Mcta: heuristics and search for timed systems
• Transition-Based Directed Model Checking

Describes a project that uses

Uses Software

• UniForM

This page was built for publication: Abstractions and pattern databases: the quest for succinctness and accuracy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000659)