Wszystkie oprogramowanie w przyszłości będzie formalnie weryfikowane. Wciąż jesteśmy na wczesnym etapie.