> “Ten years ago, no one would predict that we could prove the correctness of a single-threaded kernel, much less a multi-core one." So apparently it's a break

> “Ten years ago, no one would predict that we could prove the correctness of a single-threaded kernel, much less a multi-core one." So apparently it's a breakthrough in this context.