News for hackers. Stuff that matters.
Re:The Case for Formal Verification (2013) by vilhelm_s on Sunday April 20, 2014 @06:14PM (#7618676)
It's not free software (the license permits educational and research but commercial use). I guess selling compilers to people is a hard problem in itself. :)

There are no comments on this comment yet.