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

@inproceedings{Fidge1998ASM,
  title={A Set-Theoretic Model for Real-Time Specification and Reasoning},
  author={Colin J. Fidge and Ian J. Hayes and Andrew P. Martin and Axel Wabenhorst},
  booktitle={MPC},
  year={1998}
}
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.