When the new tech report is saved, it will be published to the Tech Report page. By default the Tech Report page displays all reports ordered by report ID descending. Marking a tech report as unpublished will not remove it from the page. This ensures that all "reserved" numbers are displayed. If you need help with the tech reports, please fill out this form.

Report ID Title Report Authors Report Date
1992-22 Formal Verification of Realtime Systems in ASTRAL Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli