Enhancing compositional reachability analysis with context constraints

No abstract is available for this paper.

• Publication year

  1993

• Venue

  SIGSOFT '93

• Publication date

  1993-12-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/256428.167071
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Graph models for reachability analysis of concurrent programs

  1995cited by this paper
• Tractable Flow Analysis for Anomaly Detection in Distributed Programs

  1993cited by this paper
• The System Architect's Assistant for design and construction of distributed systems

  1993cited by this paper
• Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

  1992influential reference
• Using partial orders for the efficient verification of deadlock freedom and safety properties

  1991cited by this paper
• Paradigms for process interaction in distributed programs

  1991cited by this paper
• Compositional State Space Generation

  1991influential reference
• Program Composition and Modular Verification

  1991cited by this paper
• Compositional reachability analysis using process algebra

  1991influential reference
• Compositional Minimization of Finite State Systems

  1990influential reference
• A compositional approach to multiparadigm programming

  1989cited by this paper
• An algorithmic procedure for checking safety properties of protocols

  1989influential reference
• Compositional model checking

  1989cited by this paper
• Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

  1989influential reference
• Projections of the Reachability Graph and Environment Models

  1989cited by this paper
• Communication and concurrency

  1989influential reference
• Compositional Theories Based on an Operational Semantics of Contexts

  1989cited by this paper
• An Introduction to Automata Theory

  1988cited by this paper
• Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems

  1988cited by this paper
• Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It

  1988cited by this paper
• On visual formalisms

  1988cited by this paper
• Verifying a Protocol Using Relativized Bisimulation

  1987cited by this paper
• Analysis of communicating finite-state processes

  1984cited by this paper
• Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach

  1983cited by this paper
• A general-purpose algorithm for analyzing concurrent programs

  1983cited by this paper
• Petri Net Theory and the Modeling of Systems

  1982cited by this paper
• Introduction to Automata Theory, Languages and Computation

  1979cited by this paper

• Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

  2020cites this paper
• Compositional verification of concurrent systems by combining bisimulations

  2019cites this paper
• Compositional Verification in Action

  2018cites this paper
• Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure

  2017cites this paper
• Compositional verification of asynchronous concurrent systems using CADP

  2015cites this paper
• Compositional specification and reachability checking of net systems

  2015cites this paper
• A Modular Approach to Model-Based Testing of Concurrent Programs

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

  2012cites this paper
• CADP 2011: a toolbox for the construction and analysis of distributed processes

  2012cites this paper
• Modelling and optimisation of hull erection process

  2011cites this paper
• Una contribución a las técnicas avanzadas de verificación de procesos de negocio y sistemas software abiertos

  2011cites this paper
• Smart Reduction

  2011cites this paper
• Semantics and Analysis of Scenario-Aware Dataflow Specifications

  2011cites this paper
• Partial Order Reductions Using Compositional Confluence Detection

  2009cites this paper
• Modeling and Optimization of Hull Building Process Based on P-TPN

  2009cites this paper
• Compositional Model-Checking Verification of Critical Systems

  2008cites this paper
• Slicing of Component Behavior Specification with Respect to Their Composition

  2007cites this paper
• Automatic interface generation for compositional verification

  2007cites this paper
• Automating and evaluating assume-guarantee reasoning

  2007cites this paper
• Interfaces for Compositional Verication

  2006cites this paper
• Refined Interfaces for Compositional Verification

  2006cites this paper
• Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-y Verication Methods

  2005influential citation
• Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods

  2005influential citation
• Integration of model checking into software development processes

  2004cites this paper
• Reverse Observation Equivalence Between Labelled State Transition Systems

  2004influential citation
• Verified systems by composition from verified components

  2003cites this paper
• Incremental specification and analysis in the context of coloured Petri nets

  2002cites this paper
• Incremental Integration Testing of Concurrent Programs

  2002cites this paper
• SVL: A Scripting Language for Compositional Verification

  2001cites this paper
• Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems

  2000cites this paper
• Using shape analysis to reduce finite-state models of concurrent Java programs

  2000cites this paper
• Checking safety properties using compositional reachability analysis

  1999influential citation
• Unbounded verification results by finite-state compositional techniques: 10/sup any/ states and beyond

  1998cites this paper
• Protocol verification with the ALDÉBARAN toolset

  1997cites this paper
• Compositional State Space Generation from Lotos Programs

  1997cites this paper
• Analyzing Partially-Implemented Real-Time Systems

  1997cites this paper
• Checking and correcting safety properties using compositional reachability analysis

  1997cites this paper
• Dynamic invariance of Petri net

  1997cites this paper
• Compositional verification by model checking for counter-examples

  1996cites this paper
• Checking subsystem safety properties in compositional reachability analysis

  1996cites this paper
• Evaluating Deadlock Detection Methods for Concurrent Software

  1996cites this paper
• Visual Verification of Safety and Liveness

  1996cites this paper
• A Visual Approach to Distributed Programming

  1996cites this paper
• Compositionality in State Space Verification Methods

  1996cites this paper
• An incremental approach to structural testing of concurrent software

  1996cites this paper
• Reusing Software: Issues and Research Directions

  1995cites this paper
• An approach to testing distributed software systems

  1995cites this paper
• A Rigorous Method for the Constructive Design of Parallel and Distributed Programs

  1995cites this paper
• The Tracta Approach for Behaviour Analysis of Concurrent Systems

  1995cites this paper
• Integrated behaviour analysis of distributed systems

  1995influential citation
• Compositional failure-based semantic models for Basic LOTOS

  1995cites this paper
• A rigorous method for the constructive design of parallel and distributed programs

  1995cites this paper
• A rigorous method for the constructive design of parallel and distributed programs

  1995cites this paper
• The Tracta Approach for Behaviour

  1995cites this paper
• The Software Architect's Assistant-a visual environment for distributed programming

  1995cites this paper
• Context Constraint for Automated Compositional Reachability Analysis

  1995cites this paper
• Compositional reachability analysis of finite-state distributed systems with user-specified constraints

  1995influential citation
• Contextual local analysis in the design of distributed systems

  1995cites this paper
• Compositional Analysis with Place-Bordered Subnets

  1994cites this paper
• An integrated method for effective behaviour analysis of distributed systems

  1994cites this paper
• Towards scalable compositional analysis

  1994cites this paper
• Tractable and Compositional Techniques for Behaviour Analysis of Concurrent Systems

  1994cites this paper
• Tractable Dataflow Analysis for Distributed Systems

  1994cites this paper