2 ms·
Formal verification of software has been around for a while though.
by marginalia_nu 4y ago
Formal verification of software has been around for a while though.
- staunton 4y agoWhich has almost never been used to build software anyone ever used... That might be changing very slowly