New top story on Hacker News: TLA+ model checking made symbolic

TLA+ model checking made symbolic
2 by feross | 0 comments on Hacker News.