5 ms·
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/ http
by xjia 11y ago
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/ http://research.microsoft.com/en-us/projects/slam/