3 ms·

Are you claiming the entirety of Android is formally verified? Do you have links to those papers?

• flangola7 4y ago
  No, I'm claiming Android has good architecture. If you combined good arch with verification then exploits would be very rare indeed.