Before revision:   We demonstrate our algorithm on safety verification of the ACAS Xu aircraft advisory system.
After revision:  In addition, our method requires less memory during execution compared to existing methods where memory can be a limiting factor. We demonstrate our algorithm on safety verification of the ACAS Xu aircraft advisory system.