News for hackers. Stuff that matters.
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

There are no comments on this comment yet.