The researchers state that the cost of formal software verification is lower than the cost of engineering traditional "high-assurance" software despite providing much more reliable results. Specifically, the cost of one line of code during the development of seL4 was estimated at around , compared to for traditional high-assurance systems.
The researchers state ,that? the cost of formal software verification is lower than the cost of engineering traditio,nal "high-assurance" software despite providing much more reliable results. Specifically, the cost of one line of c.ode during the development of seL4 was estimated at around , compared to for traditional high-assurance systems.