4 ms·Open-banking will make formal verification go mainstream.by LurkandComment 10mo agoOpen-banking will make formal verification go mainstream.