3 ms·
Security is correctness but correctness is not just security. CAD kernels being complex beasts want correctness algorithmically and that is the biggest most dif
by delfinom 4y ago
Security is correctness but correctness is not just security. CAD kernels being complex beasts want correctness algorithmically and that is the biggest most difficult part.
If anything you want a formal verification language.
- imtringued 4y agoHonestly, FreeCAD crashes that happen in the geometry kernel are hilariously bad. I could do without them.