4 ms·
Some pointers: - danluu.com (user luu) on testing in the hardware world (e.g. https://danluu.com/tests-v-reason/ https://danluu.com/tests-v-reason/) and at Goo
by JoachimSchipper 9y ago
Some pointers:
- danluu.com (user luu) on testing in the hardware world (e.g. https://danluu.com/tests-v-reason/ https://danluu.com/tests-v-reason/) and at Google
- in general, mature high-quality engineering organizations like Google and modern Microsoft
- e.g. Praxis (Google "Tokeneer report") and Galois practice semi-formal and formal methods to produce useful software
- e.g. TrustInSoft and seL4 go to full formal verification
- seanwilson 9y agoFormal verification is an really interesting and challenging field but it's worth commenting that it is very expensive and time consuming. It generally only makes sense right now when bugs can cause serious damage.