PARIS — Esterel Technologies SA and AbsInt Angewandte Informatik GmbH have concluded a technology partnership so as to offer an integrated environment for developing mission and safety-critical ...
PARIS — Esterel Technologies (Elancourt, France) and AbsInt (Saarbrücken, Germany) announced they have concluded a strategic technology partnership to offer AbsInt's timing and stack usage tools in ...
LONDON, Nov. 23, 2021 /PRNewswire/ -- QA-MISRA is the tailor-made answer to current and future static analysis market requirements. This new tool is the product of a cooperation between QA Systems and ...
Since spring 2018, AbsInt Angewandte Informatik provides a worldwide use license for the static program analyzers Astrée and RuleChecker to Robert Bosch. Astrée proves the absence of runtime errors ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results