3 ms·
A lot of the software that has been formally verified is either proprietary, classified, or used for academic research. Historically not the most open of commun
by nonameiguess 6y ago
A lot of the software that has been formally verified is either proprietary, classified, or used for academic research. Historically not the most open of communities.