Software quality

Coverity's Prevent SQS SAT engine (based on the concept of Boolean satisfiability) uses a representation of software to identify complex defects in source code. It is $35 annually.

Lattix uses interdependencies to create an accurate blueprint of applications, databases and systems. Developers can analyze systems in detail, edit the structure to create what-if scenarios, and specify design rules, allowing them to formalize and communicate the architecture.