Executing temporal logic programs
Executing temporal logic programs
Real-time systems and their programming languages
Real-time systems and their programming languages
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
A specification-oriented semantics for the refinement of real-time systems
Theoretical Computer Science
A mean value calculus of durations
A classical mind
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Duration Calculi: An Overview (Invited Paper)
Proceedings of the International Conference on Formal Methods in Programming and Their Applications
An Extended Duration Calculus for Hybrid Real-Time Systems
Hybrid Systems
A Set-Theoretic Model for Real-Time Specification and Reasoning
MPC '98 Proceedings of the Mathematics of Program Construction
A Proof Rule for Control Loops
MPC '98 Proceedings of the Mathematics of Program Construction
Applying timed interval calculus to simulink diagrams
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
| Hi-index | 5.23 |
The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine.