Interesting approach, I can see this being of great use, I will definitely take ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

Majka on June 22, 2014 | parent | context | favorite | on: Automating Formal Proofs for Reactive Systems

Interesting approach, I can see this being of great use, I will definitely take a closer look. also, nice video- especially the soccer references.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact