Abstract: A computing system obtains flight information comprising a plurality of waypoints for each of a plurality of aircraft flight paths, and detects a violation of aircraft separation requirements at a given time instance. Each waypoint specifies an altitude, a longitudinal position, a latitudinal position, a velocity, and a time instance. Detecting the violation comprises selecting a set of time-correlated waypoints from the flight information, each time-correlated waypoint specifying the given time instance. The detecting further comprises selecting a set of altitude-correlated waypoints from the set of time-correlated waypoints, each of the altitude-correlated waypoints being vertically-separated from at least one other altitude-correlated waypoint by less than a threshold vertical separation.