QA Systems

QA Systems is a company that develops static analysis and verification tools for embedded software. It offers Astree, a sound static analysis tool that proves the absence of errors; Cantata, an automated unit and integration testing tool for C and C++ languages; and other products. The company caters to the automotive, energy, medical device, aerospace, and defense sectors.