Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy

DOI10.1007/978-3-642-19835-9_26zbMath1316.68076OpenAlexW147683296MaRDI QIDQ3000659

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

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) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Abstract reduction in directed model checking CCS processes

Uses Software

• UniForM

Cites Work

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

This page was built for publication: Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy