Esterel Technologies SCADE Suite Timing Verifier™ and SCADE Suite Stack Verifier™, powered by AbsInt’s aiT and StackAnalyzer tools, provide worst case execution timing (WCET) and stack usage analysis ...
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 ...
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 ...
AbsInt and Infineon Technologies have worked closely together. This cooperation has produced a new and extended version of AbsInt's TimeWeaver for Infineon 32-bit TriCore AURIX Microcontroller boards.
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