Composing invariants

No abstract is available for this paper.

• Publication year

  2006

• Venue

  Science of Computer Programming

• Publication date

  2006-05-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/j.scico.2005.08.001
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Specification transformers: a predicate transformer approach to composition

  2004cited by this paper
• Modelling Recursive Calls with UML State Diagrams

  2003cited by this paper
• Asynchronous progress

  2003cited by this paper
• A Logic for Concurrent Programming: Safety

  2003influential reference
• Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers

  2002cited by this paper
• Risk-Based Approach to Mission-Critical Software Testing

  2002cited by this paper
• An Experiment in Program Composition and Proof

  2002cited by this paper
• Modular Specification and Verification of Object-Oriented Programs

  2002cited by this paper
• An Approach to Composition Motivated by wp

  2002cited by this paper
• Reasoning about Composition: A Predicate Transformer Approach

  2001cited by this paper
• Automatic Deductive Verification with Invisible Invariants

  2001cited by this paper
• A discipline of multiprogramming: programming theory for distributed applications

  2001cited by this paper
• Concurrency Verification: Introduction to Compositional and Noncompositional Methods

  2001cited by this paper
• Reasoning about Composition Using Property Transformers and Their Conjugates

  2000cited by this paper
• Theorems about Composition

  2000influential reference
• Composing leads-to properties

  2000cited by this paper
• Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

  2000cited by this paper
• Secure Synthesis of Code: A Process Improvement Experiment

  1999cited by this paper
• Examples of Program Composition Illustrating the Use of Universal Properties

  1999cited by this paper
• Towards a Compositional Approa h to theDesign and Veri ation of Distributed Systems ?

  1999influential reference
• Compositionality: The Significant Difference

  1999cited by this paper
• Towards a Compositional Approach to the Design and Verification of Distributed Systems

  1999cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• Parallel and Distributed Processing

  1998cited by this paper
• Composition: A Way to Make Proofs Harder

  1997cited by this paper
• Deductive Verification of Modular Systems

  1997cited by this paper
• The rely-guarantee method for verifying shared variable concurrent programs

  1997cited by this paper
• Automatic Generation of Invariants and Intermediate Assertions

  1997cited by this paper
• Revised Lectures from the International Symposium on Compositionality: The Significant Difference

  1997cited by this paper
• Predicate Transformers for Reasoning about Concurrent Computation

  1995cited by this paper
• Program refinement in UNITY-like environments

  1995cited by this paper
• Assumption/Guarantee Specifications in Linear-Time Temporal Logic

  1995cited by this paper
• Conjoining specifications

  1995influential reference
• The temporal logic of actions

  1994influential reference
• Design of compositional proof systems based on assumption-commitment specifications: application to UNITY

  1994influential reference
• Verifying for Reuse: Foundations of Object-Oriented System Verification

  1994cited by this paper
• Modular progress proofs of asynchronous programs

  1993cited by this paper
• Eliminating the substitution axiom from UNITY logic

  1991cited by this paper
• The Temporal Logic of Reactive and Concurrent Systems

  1991cited by this paper
• A theory of conjunction and concurrency

  1990cited by this paper
• Predicate Calculus and Program Semantics

  1989cited by this paper
• Composing specifications

  1989cited by this paper
• Parallel program design - a foundation

  1988cited by this paper
• An axiomatic proof technique for parallel programs I

  1976cited by this paper

• Automatic verification of behavior preservation at the transformation level for relational model transformation

  2018cites this paper
• Compositional verification of a communication protocol for a remotely operated aircraft

  2013cites this paper
• Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking

  2012cites this paper
• Graph Transformations for MDE, Adaptation, and Models at Runtime

  2012cites this paper
• Formal Methods for Model-Driven Engineering

  2012influential citation
• Cyber-Physical Systems with Dynamic Structure: Towards Modeling and Verification of Inductive Invariants

  2012cites this paper
• Cyber-Physical Systems with Dynamic Structure : Towards Modeling and Verification of Inductive Invariants (Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam ; 64)

  2012cites this paper
• Model Composition in Rosetta

  2011cites this paper
• Modeling and Compositional Verification with Dynamic Collaborations

  2009cites this paper
• Design and Verification of a Distributed Communication Protocol

  2009cites this paper
• Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle

  2009cites this paper
• On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles

  2008cites this paper
• Extending the WPVS Visualization and Interaction Capabilities

  2008cites this paper
• Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems

  2008cites this paper
• Symbolic invariant verification for systems with dynamic structural adaptation

  2006cites this paper
• Towards the Automatic Verification of Inductive Invariants for Infinite State UML Models

  2005cites this paper
• Test & validation de composants logiciels

  2005cites this paper
• Component composition preserving behavioral contracts based on communication traces

  2005cites this paper
• about the Internet and Networking : 2010 – 2019

  2003cites this paper