I happened to have met someone working in formal verification. What they do is to use SAT solver to check if a railroad switching system works as expected. I don’t think they would consider them doing AI security. But for software used in critical infrastructure (like railway), it is an important safe measure.
I happened to have met someone working in formal verification. What they do is to use SAT solver to check if a railroad switching system works as expected. I don’t think they would consider them doing AI security. But for software used in critical infrastructure (like railway), it is an important safe measure.