3 ms·
Also https://trust-in-soft.com/ https://trust-in-soft.com/
by pron 8y ago
Also https://trust-in-soft.com/ https://trust-in-soft.com/
- nickpsecurity 8y agoAnd AbsInt with Astree Analyzer used by Airbus. Those are the three I know. Rosu's group open-sourced K with their language work and publications full of awesome stuff. Since Im a "vote with your wallet" guy, I always mention RV-Match over the others to hook up a company whose people are hooking us up with grest, building blocks for free. Just figured I should be open about that. :)