Good luck with ACHIEVING that!
It's a nice idea, but I guess the proof would take longer to run than the heat death of the universe, that is, if the proof itself doesn't contain bugs ...
The problem, as you seem to have missed, is that the kernel needs to be able to write to kernel memory ...
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds