They used their AI tool to extract the rules for the Apollo guidance system based on the source code.
Then they used Claude to check if all paths followed those rules.