News for hackers. Stuff that matters.

Majka

Majka on Hacker News

Re:Automating Formal Proofs for Reactive Systems 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.