The article does not explain anything about how they used AI—it just has some relation with the behavioral model a human seems to have written (and an AI does not seem necessary to use!)
The article does not explain anything about how they used AI—it just has some relation with the behavioral model a human seems to have written (and an AI does not seem necessary to use!)
Sure it does.
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.