The speaker says Antithesis uncovered difficult-to-find bugs in software developed by a careful team building high-assurance systems.

“The thing that I think is most impressive about Antithesis is we started using it in a team that was building high assurance software and being really careful and nonetheless it was able to shake out bugs.”

“That were otherwise going to be really hard to find and that's important both because it helps make those systems more reliable But also because it helps the teams that build it to just move faster I”