News for hackers. Stuff that matters.
Re:Automating Formal Proofs for Reactive Systems by Majka on Sunday June 22, 2014 @02:28PM (#7928709)
Interesting approach, I can see this being of great use, I will definitely take a closer look. also, nice video- especially the soccer references.

There are no comments on this comment yet.