Abstractions and pattern databases: the quest for succinctness and accuracy

DOI10.1007/978-3-642-19835-9_26zbMATH Open1316.68076OpenAlexW147683296MaRDI QIDQ3000659FDOQ3000659

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

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

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)

Cites Work

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

Cited In (5)

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

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)