Examples of a Real-Time Temporal Logic Specification

Full abstraction of a real-time denotational semantics for an OCCAM-like language

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

A model parametric real-time logic

ACM Transactions on Programming Languages and Systems (TOPLAS)

Object-oriented logical specification of time-critical systems

ACM Transactions on Software Engineering and Methodology (TOSEM)

TimeC: A Time Constraint Language for ILP Processor Compilation

Constraints

Simulation-based verification using Temporally Attributed Boolean Logic

ACM Transactions on Design Automation of Electronic Systems (TODAES)