YHacker Newsscreenshots

plv.mpi-sws.org on Hacker News

1 story on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of plv.mpi-sws.org: GenMC: Model checking for concurrent C programs

GenMC: Model checking for concurrent C programs (plv.mpi-sws.org)

46 points by todsacerdoti 1 year ago | 3 comments