Title: Formal Methods in Outer Space