AFAIK MSR sponsored lots of research in this area. Program verification is still... | Hacker News

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

login

xjia on Dec 31, 2015 | parent | context | favorite | on: Major Linux Problems on the Desktop, 2016 Edition

AFAIK MSR sponsored lots of research in this area. Program verification is still not that easy.

[edit] http://research.microsoft.com/en-us/projects/slam/

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