|
|
|
|
|
|
by kazuya
5420 days ago
|
|
|
This article is not actually about USB. Neither about Windows 8. What's interesting is that Microsoft uses model checking on real shipping products. In fact it has been pushing static checker (SLAM and SDV) for years. Other operating systems including Linux have their own verification projects, but they all appear to stay academic (though look promising). We can expect more reliable operating systems in this decade. Maybe. |
|
|