Model-Checking CSP-OZ Specifications with FDR

No abstract is available for this paper.

• Publication year

  1999

• Venue

  International Conference on Integrated Formal Methods

• Publication date

  1999-06-28

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-1-4471-0851-1_17
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• Analyzing a Real-Time Program with Z

  1998cited by this paper
• Model-Checking CSP-Z

  1998cited by this paper
• ZUM '98: The Z Formal Specification Notation

  1998cited by this paper
• How to Combine Z with Process Algebra

  1998cited by this paper
• Blending Object-Z and Timed CSP: an introduction to TCOZ

  1998cited by this paper
• The Theory and Practice of Concurrency

  1997cited by this paper
• A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems

  1997cited by this paper
• The Z/EVES System

  1997cited by this paper
• An operational semantics for ZCCS

  1997cited by this paper
• CSP-OZ: a combination of object-Z and CSP

  1997cited by this paper
• Specifying Concurrent Systems by Z + CCS

  1997cited by this paper
• A Structure Preserving Encoding of Z in Isabelle/HOL

  1996cited by this paper
• Object-Z: a specification language advocated for the description of standards

  1995cited by this paper
• The Z-into-Haskell tool-kit

  1995cited by this paper
• Non-interference through determinism

  1994cited by this paper
• Semantics of Specification Languages

  1994cited by this paper
• Proof Theory for µCRL: A Language for Processes with Data

  1993cited by this paper
• The Z notation - a reference manual

  1992cited by this paper
• The Z notation: a reference manual

  1992cited by this paper
• Speciications Are Not (necessarily) Executable Speciications Are Not (necessarily) Executable

  1990cited by this paper
• Up and Down The Temporal Way

  1987cited by this paper
• An Improved Failures Model for Communicating Processes

  1984cited by this paper
• Communicating sequential processes

  1983cited by this paper

• Where are we now, and where do we go from here?

  2019cites this paper
• Symmetry reduction in CSP model checking

  2019cites this paper
• A Note on Digitization of Real-Time Models and Logics

  2018cites this paper
• Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra)

  2016cites this paper
• FDR3: a parallel refinement checker for CSP

  2016cites this paper
• Combining CSP and Object-Z

  2014cites this paper
• FDR3 - A Modern Refinement Checker for CSP

  2014cites this paper
• Refining CSP and Object-Z Specifications

  2014cites this paper
• FDR into The Cloud

  2014cites this paper
• Formal Modelling and Analysis of AODV

  2013cites this paper
• Augmenting Formal Development with Use Case Reasoning

  2012cites this paper
• Developing an ROV software control architecture: A formal specification approach

  2012cites this paper
• Use Case Scenarios as Verification Conditions: Event-B/Flow Approach

  2011cites this paper
• Building a refinement checker for Z

  2011cites this paper
• A semantics for Behavior Trees using CSP with specification commands

  2011cites this paper
• Model transformations across views

  2010cites this paper
• The VATES-Diamond as a Verifier's Best Friend

  2010cites this paper
• A semantics for behavior trees

  2010cites this paper
• Java implementation platform for the integrated state‐ and event‐based specification in PROB

  2010cites this paper
• On Event-B and Control Flow

  2009cites this paper
• Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais.

  2009cites this paper
• Formalisation and Analysis of Objects as CSP Processes

  2009influential citation
• CSP with Hierarchical State

  2009cites this paper
• Verifying the Implementation of an Operating System Scheduler

  2009influential citation
• MODEL CHECKING A ROV REACTIVE CONTROL ARCHITECTURE

  2009cites this paper
• Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach

  2008cites this paper
• Integrating a formal method into a software engineering process with UML and Java

  2008cites this paper
• Dynamic semantics of OWL-S in CSP-OZ

  2008cites this paper
• The automated translation of integrated formal specifications into concurrent programs

  2008cites this paper
• Decomposition for Compositional Verification

  2008cites this paper
• Using Model Checking to Automatically Find Retrieve Relations

  2008cites this paper
• On using data abstractions for model checking refinements

  2007cites this paper
• Decomposing Integrated Specifications for Verification

  2007cites this paper
• JCSProB: Implementing Integrated Formal Specifications in Concurrent Java

  2007cites this paper
• Formal Aspects of Computing Model Checking Action System Refinements

  2007cites this paper
• Specifying and analyzing security automata using CSP-OZ

  2007cites this paper
• Issues in Implementing a Model Checker for Z

  2006cites this paper
• Integration von CSP-OZ in die OO-Softwareentwicklung fdie automatische Verifikation

  2006influential citation
• Verifying data refinements using a model checker

  2006cites this paper
• Model Transformations Incorporating Multiple Views

  2006cites this paper
• Using static analysis to validate the SAML single sign-on protocol

  2005cites this paper
• Specification and (property) inheritance in CSP-OZ

  2005cites this paper
• Model Checking Z Specifications Using SAL

  2005influential citation
• Integrating Object-Z with timed automata

  2005cites this paper
• Model Checking Downward Simulations

  2005cites this paper
• The Semantics and Tool Support of OZTA

  2005cites this paper
• Formal Designs for Embedded and Hybrid Systems

  2005cites this paper
• Relating /spl pi/-calculus to Object-Z

  2004cites this paper
• Relating pi-calculus to Object-Z

  2004cites this paper
• Generating MSCs from an Integrated Formal Specification Language

  2004cites this paper
• Linking CSP-OZ with UML and Java: A Case Study

  2004cites this paper
• Using Static Analysis to Validate SAML Protocols

  2004cites this paper
• Efficient computer-aided verification of parallel and distributed software systems

  2003cites this paper
• Checking Consistency in UML Diagramms: Classes and State Machines

  2003cites this paper
• Timed CSP and Object-Z

  2003cites this paper
• An integration of Z and Timed CSP for specifying real time embedded systems

  2003cites this paper
• Structural Refinement of Systems Specified in Object-Z and CSP

  2003cites this paper
• Model Checking Object-Z Using ASM

  2002cites this paper
• Animation of data refinements

  2002cites this paper
• From CSP-OZ to Java with processes

  2002cites this paper
• Specification and Inheritance in CSP-OZ

  2002influential citation
• Checking Behavioural Subtypes via Refinement

  2002cites this paper
• Extraction of Abstraction Invariants for Data Refinement

  2002cites this paper
• An Integration of Z and Timed CSP for Specifying Real-Time Embedded Systems

  2002cites this paper
• CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time

  2002cites this paper
• Semantic Web for Extending and Linking Formalisms

  2002cites this paper
• An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems

  2002cites this paper
• Consistency between UML Classes and Associated State Machines ?

  2002cites this paper
• Semantic Web for Extending and Linking Formalisms

  2002cites this paper
• Deep Semantic Links of TCSP and Object-Z: TCOZ Approach

  2002cites this paper
• Model-checking CSP-Z: strategy, tool support and industrial application

  2001cites this paper
• On the modelling of document exchange processes in e-commerce protocols

  2001cites this paper
• Model checking Object-Z classes: Some experiments with FDR

  2001influential citation
• Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods

  2000cites this paper
• Families of Formal Requirements in Telephone Switching

  2000cites this paper
• Structural Refinement in Object-Z/CSP

  2000cites this paper
• Data Abstraction Techniques in the Validation of CSP-OZ Specifications

  2000cites this paper
• Interner Bericht Fb 10 Abteilung Semantik Modular, Changeable Requirements for Telephone Switching in Csp-oz

  1999cites this paper
• Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to Programs

  1999cites this paper
• Data Abstraction for CSP-OZ

  1999cites this paper
• Combining Specification Techniques for Processes, Data and Time

  1998cites this paper