Systematic Construction of Abstractions for Model-Checking

No abstract is available for this paper.

• Publication year

  2006

• Venue

  International Conference on Verification, Model Checking and Abstract Interpretation

• Publication date

  2006-01-08

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/11609773_25
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Dynamic Symmetry Reduction

  2005cited by this paper
• Model checking discounted temporal properties

  2005cited by this paper
• Identification and Counter Abstraction for Full Virtual Symmetry

  2005cited by this paper
• Monotonic Abstraction-Refinement for CTL

  2004cited by this paper
• Automatic Creation of Environment Models via Training

  2004cited by this paper
• Three-valued abstractions of games: uncertainty, but with precision

  2004cited by this paper
• Closed and Logical Relations for Over- and Under-Approximation of Powersets

  2004influential reference
• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• Multi-valued symbolic model-checking

  2003cited by this paper
• Correct Hardware Design and Verification Methods

  2003cited by this paper
• Bilattices Are Nice Things

  2002cited by this paper
• The SLAM Toolkit

  2001cited by this paper
• RESULTS ON THE PROPOSITIONAL’p-CALCULUS

  2001cited by this paper
• Abstraction-Based Model Checking Using Modal Transition Systems

  2001cited by this paper
• Bandera: extracting finite-state models from Java source code

  2000cited by this paper
• Construction of Abstract State Graphs with PVS

  1997cited by this paper
• Abstract interpretation of reactive systems

  1997influential reference
• Property preserving abstractions for the verification of concurrent systems

  1995cited by this paper
• Symmetry and model checking

  1993cited by this paper
• Abstract Interpretation Frameworks

  1992influential reference
• Model checking and abstraction

  1992cited by this paper
• Multivalued logics: a uniform approach to reasoning in artificial intelligence

  1988cited by this paper
• A modal process logic

  1988cited by this paper
• Results on the Propositional µ-Calculus

  1982cited by this paper
• A Useful Four-Valued Logic

  1977cited by this paper

• 30 Years of Modal Transition Systems: Survey of Extensions and Analysis

  2017cites this paper
• Mixed Simulation of Multi-valued Models

  2014cites this paper
• Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns

  2013cites this paper
• Weak Alphabet Merging of Partial Behavior Models

  2012cites this paper
• Modal abstractions of concurrent behavior

  2011cites this paper
• Cycle Symmetry Reduction and Its Extension on Three-Valued Models

  2011cites this paper
• On the consistency, expressiveness, and precision of partial modeling formalisms

  2011cites this paper
• Abstraction-refinement and modularity in μ-calculus model checking

  2009cites this paper
• Multi-Valued Abstraction and Compositional Model Checking

  2009influential citation
• A framework for compositional verification of multi-valued systems via abstraction-refinement

  2009influential citation
• Automatic Construction of Complete Abstraction by Abstract Interpretation

  2009cites this paper
• Modal Abstractions of Concurrent Behaviour

  2008influential citation
• LTL generalized model checking revisited

  2008cites this paper
• Mixed Transition Systems Revisited

  2008cites this paper
• Model Checking for Stability Analysis in Rely-Guarantee Proofs

  2008cites this paper
• Model Checking Recursive Programs with Exact Predicate Abstraction

  2008influential citation
• More Precise Partition Abstractions

  2007cites this paper
• A CHARACTERIZATION OF MERGING PARTIAL BEHAVIOURAL MODELS

  2006cites this paper
• Data structures for symbolic multi-valued model-checking

  2006cites this paper
• Why Waste a Perfectly Good Abstraction?

  2006cites this paper
• Verifying Properties beyond Contracts of SCOOP Programs

  2006cites this paper
• 3-Valued Abstraction: More Precision at Less Cost

  2006cites this paper
• Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages

  2006cites this paper
• Research Statement Multi-valued Model-checking

  2005cites this paper
• Model-Checking Software Using Precise Abstractions

  2005cites this paper