Certora 대규모 구조조정.

정형검증 오딧으로 가장 유명한 곳 중 하나인데, 에이전트 기반 정형검증으로 전환한다고 연구원들을 대부분 해고한 것 같네요.

정형검증도 탑티어 팀 아니면 맡기는 곳이 별로 없어서 사업성이 안좋을 것 같긴 함..

https://x.com/pashov/status/2067527977227743535?s=20