Don't you think that assuming the VM and low-level support code is correct is a little too strong precondition?
The real reason is that apparently nobody cares enough to do the work.
I remember that back at the university proving that even a very simple concurrent program is correct took 30-40 minutes. And that model did not have shared memory or integer overflows...
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds