Header space analysis extension systems and methods for transport networks

A method for validation of a packet transport network includes performing a header space analysis, with input headers to obtain output headers from the header space analysis, between one or more ingress points and a particular egress point; determining disjointness of the output headers; and determining validity of a point-to-point connection property of the packet transport network based on the disjointness of the output headers. The header space analysis allows near-real-time validation that packet transport flows in an Multiprotocol Label Switching-Transport Profile (MPLS-TP) network have been correctly programmed on the switches by a Software Defined Networking (SDN) controller or other technique such that the correct label mappings have been made to carry a flow from a source to a destination, and all flows from any source to a destination are isolated from one another.