A Set-Theoretic Model for Real-Time Specification and Reasoning

No abstract is available for this paper.

• Publication year

  1998

• Venue

  International Conference on Mathematics of Program Construction

• Publication date

  1998-06-15

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/BFb0054291
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Transformational vs Reactive Refinement in Real-Time Systems

  1995cited by this paper
• Design of embedded real-time computing systems

  1994influential reference
• A Specification-Oriented Semantics for the Refinement of Real-Time Systems

  1994influential reference
• Duration Calculi: An overview

  1993influential reference
• The Z notation - a reference manual

  1992cited by this paper
• A Case-Study in Timed Refinement: A Mine Pump

  1992cited by this paper
• Using Continuous Real Functions to Model Timed Histories

  1991cited by this paper
• Executing temporal logic programs

  1986influential reference
• Calculus And Analytic Geometry

  1974cited by this paper
• First Order Mathematical Logic

  1967cited by this paper
• COMPUTER CONTROL OF MACHINES AND PROCESSES

  year unknowncited by this paper

• Operative control of ore quality at the input of ore preparation operations of enrichment fabric

  2019cites this paper
• Online Monitoring System of the Enrichment Factory Input Ore Flows Quality on the Base of Temporal Model

  2018cites this paper
• A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems

  2018cites this paper
• A system-theoretic safety engineering approach for software-intensive systems

  2017cites this paper
• A Systematic and Semi-Automatic Safety-Based Test Case Generation Approach Based on Systems-Theoretic Process Analysis

  2016cites this paper
• A verification system for interval-based specification languages

  2010cites this paper
• A formal framework for modeling and validating Simulink diagrams

  2009influential citation
• Refactoring Real-time Specifications

  2008influential citation
• Formalising Scheduling Theories in Duration Calculus

  2008cites this paper
• A verification system for timed interval calculus

  2008cites this paper
• Formal ensemble engineering : Position paper

  2008cites this paper
• Formal Ensemble Engineering

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

  2008cites this paper
• Machine-Assisted Proof Support for Validation Beyond Simulink

  2007influential citation
• Elemental Function Overloadingin Explicitly Typed

  2007cites this paper
• Hierarchical verification environment

  2006cites this paper
• A continuous-time approach to modelling and validating Simulink Models

  2006cites this paper
• Tools for Requirements Management: A Comparison of Telelogic DOORS and the HiVe

  2006cites this paper
• Applying Timed Interval Calculus to Simulink Diagrams

  2006influential citation
• Integrating Object-Z with timed automata

  2005cites this paper
• Disunification in ACI1 Theories

  2004cites this paper
• Induction in the Timed Interval Calculus

  2003influential citation
• An integration of Z and Timed CSP for specifying real time embedded systems

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

  2002cites this paper
• Specifying Mode Requirements of Embedded Systems

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

  2002cites this paper
• Machine-Checking the Timed Interval Calculus

  2002cites this paper
• An Introduction to Real-Time Object-Z

  2002influential citation
• Requirements reformulation using formal specification: a case study

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

  2002cites this paper
• Axiomatisation of an Interval Calculus for Theorem Proving

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

  2000cites this paper
• Incremental Development of Real-Time Requirements: The Light Control Case Study

  2000cites this paper
• Structuring Real-Time Object-Z Specifications

  2000cites this paper
• Process Algebra versus Axiomatic Specification of a Real-Time Protocol

  2000influential citation
• Towards Real-Time Object-Z

  1999cites this paper
• Sensors and Actuators in TCOZ

  1999cites this paper
• A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics

  1999cites this paper
• ACI1 constraints

  1999cites this paper
• Modelling Discrete Behaviour in a Continuous-Time Formalism

  1999influential citation
• Towards Real-time Object-z towards Real-time Object-z

  1999cites this paper
• State-machine versus trace modelling of real-time reactive systems

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

  1998cites this paper
• Real-time Speciication and Reasoning Using Maximal Intervals Note: Most Svrc Technical Reports Are Available via Real-time Speciication and Reasoning Using Maximal Intervals

  year unknowncites this paper