Partner
Bluewind is official partner of Bugseng Software Verification
Bugseng and Bluewind
Bluewind, a recognized Bugseng Engineering partner, actively deploys Eclair tool to develop high-quality, high-reliability software.
By implementing static and MISRA code analysis, and by increasing the robustness of testing, a high software engineering standard is obtained especially in all those environments which must comply with Functional Safety norms, like IEC 61508 (Industrial Safety) or ISO 26262 (Automotive Safety).
Bluewind usually works along with the customer team to integrate and deploy Eclair suite to obtain high reliability code in all the Mission Critical and Safety related projects.
Bugseng is a leading provider of solutions and services for static code analysis.
Software verification is a complex task that requires deep specialization, and Bugseng has designed ECLAIR, a new generation tool based on very sophisticated program verifiers, able to handle the complexity of the task in a transparent way.
About Eclair
ECLAIR is a powerful platform for software verification. Applications range from coding rule validation, to automatic generation of testcases, to the proof of absence of run-time errors or generation of counterexamples, and to the specification of code matchers and rewriters based both syntactic and semantic conditions.
For more information contact us info@bluewind.it