news.volyx.in

TLA+ model checking made symbolic (blog.acolyer.org)

197 points by feross · 2511 days ago · 51 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.