Assume-Guarantee Verification for Interface Automata

No abstract is available for this paper.

• Publication year

  2008

• Venue

  World Congress on Formal Methods

• Publication date

  2008-05-26

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-540-68237-0_10
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Refining Interface Alphabets for Compositional Verification

  2007cited by this paper
• Optimized L*-Based Assume-Guarantee Reasoning

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

  2006cited by this paper
• Concurrency - state models and Java programs

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

  2006cited by this paper
• Monitoring and control in scenario-based requirements analysis

  2005cited by this paper
• Online testing with model programs

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

  2005cited by this paper
• Permissive interfaces

  2005cited by this paper
• Synthesis of interface specifications for Java classes

  2005cited by this paper
• Learning Assumptions for Compositional Verification

  2003cited by this paper
• Assumption generation for software component verification

  2002cited by this paper
• Interface automata

  2001cited by this paper
• Behaviour Analysis of Software Architectures

  1999cited by this paper
• Checking safety properties using compositional reachability analysis

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

  1997cited by this paper
• Model checking and modular verification

  1991cited by this paper
• In Transition From Global to Modular Temporal Reasoning about Programs

  1989cited by this paper
• Inference of finite automata using homing sequences

  1989cited by this paper
• Compositional model checking

  1989cited by this paper
• An Introduction to Input/Output Automata

  1989cited by this paper
• Learning Regular Sets from Queries and Counterexamples

  1987cited by this paper
• Specification and Design of (Parallel) Programs

  1983cited by this paper

• PISE: Protocol Inference using Symbolic Execution and Automata Learning

  2023cites this paper
• Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications

  2023cites this paper
• Protocol Inference from program executable using symbolic execution and automata learning

  2022cites this paper
• A hierarchical verification approach to verify complex safety control systems based on STAMP

  2019cites this paper
• Synthesis of Hardware Sandboxes for Trojan Mitigation in Systems on Chip

  2019cites this paper
• Observation Tree Approach: Active Learning Relying on Testing

  2019cites this paper
• "ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning

  2019cites this paper
• APML: An Architecture Proof Modeling Language

  2019cites this paper
• Information Flow-Based Security Construction for Compositional Interface Automata

  2019cites this paper
• Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner

  2018cites this paper
• Assumptions and their management in software development: A systematic mapping study

  2018cites this paper
• When Do We Not Need Complex Assume-Guarantee Rules?

  2017cites this paper
• Shielding non-trusted IPs in SoCs

  2017cites this paper
• A generalised theory of Interface Automata, component compatibility and error

  2016cites this paper
• Verification of component architectures using mode-based contracts

  2016cites this paper
• Fine-grained Information Flow for Concurrent Computation

  2016cites this paper
• Project Description — Follow-Up Project Proposal

  2016cites this paper
• Component interconnect and data access interface for embedded vision applications

  2015cites this paper
• When Do We (Not) Need Complex Assume-Guarantee Rules?

  2015cites this paper
• A design-by-contract based approach for architectural modelling and analysis

  2014cites this paper
• A meta-theory for component interfaces with contracts on ports

  2014cites this paper
• Design and Verification Environment for High-Performance Video-Based Embedded Systems

  2014cites this paper
• Compositional assume-guarantee reasoning for input/output component theories

  2014cites this paper
• Computational alignment of goals and scenarios for complex systems

  2013cites this paper
• Synthesizing nonanomalous event-based controllers for liveness goals

  2013cites this paper
• Theoretical Aspects of Computing – ICTAC 2013

  2013influential citation
• Towards a Failure Model of Software Components

  2013cites this paper
• Whitening SOA Testing via Event Exposure

  2013cites this paper
• An algebraic theory of componentised interaction

  2013cites this paper
• Interface of Software Components with Internal Behaviors

  2013cites this paper
• An Interface Model of Software Components

  2013cites this paper
• Synthesis of event-based controllers for software engineering

  2013cites this paper
• Role-based Interface Automata ∗ Extended abstract

  2012cites this paper
• Moving from Specifications to Contracts in Component-Based Design

  2012cites this paper
• Unblockable compositions of software components

  2012cites this paper
• Modal specification theories for component-based design

  2012cites this paper
• Component Interfaces with Contracts on Ports

  2012cites this paper
• Assume-Guarantee Reasoning for Safe Component Behaviours

  2012cites this paper
• Formal Aspects of Component Software

  2012cites this paper
• Synchronous Interface Theories and Time Triggered Scheduling

  2012cites this paper
• Compositional Algebra of CONNECTors

  2011cites this paper
• Learning system abstractions for human operators

  2011cites this paper
• Temporal logics and model checking algorithms for ZIAs

  2010cites this paper
• White-Box Testing of Service Compositions Via Event Interfaces

  2010cites this paper
• Reachability Assume-Guarantee

  2010cites this paper
• Event Exposure for Web Services: A Grey-Box Approach to Compose and Evolve Web Services

  2010cites this paper
• "Fly Me to the Moon": Verification of Aerospace Systems

  2010cites this paper
• Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction

  2008cites this paper
• Assume-guarantee testing for software components

  2008cites this paper
• Decision Problems for the Verification of Real-Time Software

  2006cites this paper