An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems

No abstract is available for this paper.

• Publication year

  2002

• Venue

  International Conference on Integrated Formal Methods

• Publication date

  2002-05-15

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/3-540-47884-1_15
• 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, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

  2001influential reference
• Structuring Real-Time Object-Z Specifications

  2000influential reference
• Structural Refinement in Object-Z/CSP

  2000influential reference
• Timed Communicating Object Z

  2000cited by this paper
• Formal Object Oriented Specification Using Object-Z

  2000cited by this paper
• Concurrent and Real-time Systems: The CSP Approach

  1999cited by this paper
• RT-Z: An Integration of Z and timed CSP

  1999cited by this paper
• The Object-Z Specification Language

  1999cited by this paper
• Sensors and Actuators in TCOZ

  1999cited by this paper
• Model-Checking CSP-OZ Specifications with FDR

  1999cited by this paper
• Towards Real-Time Object-Z

  1999influential reference
• Defining differentiation and integration in Z

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

  1998influential reference
• How to Combine Z with Process Algebra

  1998cited by this paper
• A Set-Theoretic Model for Real-Time Specification and Reasoning

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

  1997influential reference
• A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems

  1997influential reference
• Refinement and verification of concurrent systems specified in Object-Z and CSP

  1997influential reference
• Combining CSP and Object-Z: Finite or Infinite Trace Semantics?

  1997cited by this paper
• A Brief History of Timed CSP

  1995influential reference
• The Z notation - a reference manual

  1992cited by this paper

• Reusable requirements in automated verification of distributed systems

  2013cites this paper
• The Object-Z Specification Language

  2011cites this paper
• Verification Architectures: Compositional Reasoning for Real-Time Systems

  2010cites this paper
• The Denotational Semantics of slotted-Circus

  2009cites this paper
• State Visibility and Communication in Unifying Theories of Programming

  2009cites this paper
• Extending Formal Methods for Software-Intensive Systems

  2008cites this paper
• AVACS -- Automatic Verification and Analysis of Complex Systems

  2007cites this paper
• Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters

  2007cites this paper
• Universidade Federal de Pernambuco Centro de Informatica

  2006cites this paper
• Type Checking Circus Specifications

  2006cites this paper
• Combination of processes, data, and time

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

  2005cites this paper
• Timed Patterns: TCOZ to Timed Automata

  2004cites this paper
• Formal timing model for hardware components

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

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

  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