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

Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on set theory, and is thus suitable for use by programmers with little formal methods experience.

• Type: Conference
• Year: 1998
• Where: MPC
• Authors: Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel Wabenhorst
• Keywords: Concurrent Real-time Systems, Little Formal Methods, Mathematics, MPC 1998, Timed-trace Formalisms