Technical Reports

The ICICS/CS Reading Room

UBC CS TR-97-12 Summary

Formalization and Analysis of the Separation Minima for the North Atlantic Region: Complete Specification and Analysis Results, October 30, 1997 Nancy A. Day, Jeffrey J. Joyce and Gerry Pelletier, 74 pages

This report describes work to formalize and validate a specification of the separation minima for aircraft in the North Atlantic (NAT) region completed by researchers at the University of British Columbia in collaboration with Hughes International Airspace Management Systems. Our formal representation of these separation minima is given in a mixture of a tabular style of specification and textual predicate logic. We analyzed the tables for completeness, consistency and symmetry. This report includes the full specification and complete analysis results.

If you have any questions or comments regarding this page please send mail to