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. :)
[ Parent
| on HN ]
There are no comments on this comment yet.