Re:Formal Verification Creates Hacker-Proof Code
by shpat on Friday October 21, 2016 @01:16PM
(#12762391)
Worth noting that we've open sourced the toolset used to generate code for the Little Bird, available at http://ivorylang.org
[ Parent
| on HN ]
There are no comments on this comment yet.