Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

No abstract is available for this paper.

• Publication year

  2010

• Venue

  IEEE transactions on computers

• Publication date

  2010-04-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/TC.2009.187
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Checking

  2018influential reference
• Model checking

  2009cited by this paper
• Automated Interface Refinement for Compositional Verification

  2009cited by this paper
• Automated Assume-Guarantee Reasoning by Abstraction Refinement

  2008cited by this paper
• Refining Interface Alphabets for Compositional Verification

  2007cited by this paper
• Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition

  2006cited by this paper
• Verification of timed circuits with failure-directed abstractions

  2006cited by this paper
• Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning

  2006cited by this paper
• Automated Assume-Guarantee Reasoning for Simulation Conformance

  2005cited by this paper
• Symbolic Compositional Verification by Learning Assumptions

  2005cited by this paper
• Component Verification with Automatically Generated Assumptions

  2005cited by this paper
• INTERFACE-BASED DESIGN

  2005cited by this paper
• Automated, compositional and iterative deadlock detection

  2004cited by this paper
• Counterexample-guided abstraction refinement for symbolic model checking

  2003cited by this paper
• Learning Assumptions for Compositional Verification

  2003cited by this paper
• Thread-Modular Abstraction Refinement

  2003cited by this paper
• SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques

  2002cited by this paper
• Asynchronous circuit design

  2001cited by this paper
• Timed circuits: a new paradigm for high-speed design

  2001cited by this paper
• Interface automata

  2001cited by this paper
• Interface Theories for Component-Based Design

  2001cited by this paper
• Modular Minimization of Deterministic Finite State Machines

  2001cited by this paper
• Counterexample-Guided Abstraction Refinement

  2000cited by this paper
• A methodology for hardware verification using compositional model checking

  2000cited by this paper
• Automating Modular Verification

  1999cited by this paper
• Relative timing

  1999cited by this paper
• You Assume, We Guarantee: Methodology and Case Studies

  1998cited by this paper
• The Model Checker SPIN

  1997cited by this paper
• Compositional Reasoning in Model Checking

  1997cited by this paper
• Compositional State Space Generation from Lotos Programs

  1997cited by this paper
• Context constraints for compositional reachability analysis

  1996cited by this paper
• Compositional minimisation of finite state systems using interface specifications

  1996cited by this paper
• Using partial orders for trace theoretic verification of asynchronous circuits

  1996cited by this paper
• Model checking and modular verification

  1991cited by this paper
• Trace theory for automatic hierarchical verification of speed-independent circuits

  1989influential reference
• In Transition From Global to Modular Temporal Reasoning about Programs

  1989cited by this paper
• Compositional model checking

  1989cited by this paper
• Self-Timed FIFO: An Exercise in Compiling Programs with VLSI Circuits

  1986cited by this paper

• Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction

  2022cites this paper
• Recommending heterogeneous resources for science gateway applications based on custom templates composition

  2019cites this paper
• The role of model checking in software engineering

  2018cites this paper
• Recommending Resources to Cloud Applications based on Custom Templates Composition

  2017cites this paper
• Model Checking Large Nuclear Power Plant Safety System Designs

  2016cites this paper
• Statistical analysis of asynchronous pipelines in presence of process variation using formal models

  2016cites this paper
• Verifying large modular systems using iterative abstraction refinement

  2015cites this paper
• Asynchronous circuit verification: From specification to circuit

  2013cites this paper
• Rewriting semantics of production rule sets

  2012cites this paper
• Experiences with representations and verification for asynchronous circuits

  2012cites this paper
• Methods and Algorithms for Scalable Verification of Asynchronous Designs

  2012cites this paper
• A new approach and tool in verifying asynchronous circuits

  2012cites this paper
• Towards verified synthesis of ProCom, a component model for real-time embedded systems

  2011cites this paper