2 ms·your smartphone isn't formally verified.by digler999 10y agoyour smartphone isn't formally verified.