1 paper
Antonio Cau, Stefan Kuhn, James Hoey
In this paper the reversibility of executable Interval Temporal Logic (ITL) specifications is investigated. ITL allows for the reasoning about systems in terms of behaviours which…