Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

To add up to it, here is one example of companies that validate security in high integrity systems.

http://www.ldra.com/en/software-quality-test-tools

Namely for C, C++, Java and Ada stacks on the domains of medicine, trains, aviation, automotive, factory automation.

This needs to be extended to other business domains.



Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: