Quality of static analysis depends not only on the tools, but also on the programming language- SPARK Pro is an unambiguous programming language that provides guaranties and proofs on the application developed
- CodePeer detects errors before they grow into expensive problems
- Hi-Lite Open Source project designed to simplify the use of formal methods in developing high integrity software
