News for hackers. Stuff that matters.

A comment on Prediction: AI will make formal verification go mainstream. Parent comment

Re:Prediction: AI will make formal verification go mainstream by nwah1 on Wednesday December 17, 2025 @12:51PM (#46302932)
> Complex behavior between interconnected systems, out of the purview of the formal language (OS + database + network + developer + VM + browser + user + web server)

Isn't this what TLA+ was meant to deal with?

[ Parent | on HN ]
Re:Prediction: AI will make formal verification go mainstream by skydhash on Wednesday December 17, 2025 @01:45PM (#46303690)
Not really, some components like components have a lot of properties that’s very difficult to modelize. Take latency in network, or storage performance in OS.
[ Parent | on HN ]