Errors In The Timed Interval Calculus
Our
paper
points out various errors in the TIC as defined in
Technical Report TR-99-36 Version 1.1 of
December 1999 published by the Software Verification Research
Centre. In November 2002, TR-99-36 Version 1.1 was replaced by
Version 1.2 of September 2002
on the SVRC web page. Version 1.2 does not acknowledge the
existence of errors in Version 1.1, does not explain our contribution in
finding them, does not cite our AI02 paper, but does
correct the errors we discovered and does acknowledge Jeremy
Dawson for "helpful comments".
On 9th of December 2002,
the SVRC web site
no longer directs the reader to Version 1.1.
Both the
author of TR-99-36 and the SVRC are aware of these facts.
Dr. Rajeev P. Goré
Automated Reasoning Project and
Department of Computer Science Tel: +61-2-61258603
Australian National University Fax: +61-2-61258645
Canberra, ACT, 0200, AUSTRALIA Email: Rajeev.Gore@arp.anu.edu.au
ANU CRICOS Provider Number - 00120C
Rajeev.Gore@anu.edu.au