If you have a runtime check of some correctness, why can't you just prove that t...

		Ohentis 4 days ago \| parent \| context \| favorite \| on: Actively exploited sandbox RCE in all Chromium ver... If you have a runtime check of some correctness, why can't you just prove that the output of your compiler always passes that check?
		help