AbsInt2019-01-31T16:35:12+00:00

Project Description

AbsInt logo

AbsInt provides advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software.

Products

Training

Related News & Updates

Subscribe to our newsletter for free tips, thoughts and updates.

AbsInt Failure Notices: Astrée for C

[Failure Notice #26097] Problem Description: -------------------- Enabling the gauge domain may cause the analyzer to assume incomplete value ranges for expressions that involve type-punning. As a consequence, reachable program paths [...]

March 14th, 2019|AbsInt, AbsInt|

a³ Release 18.10

New targets and compilers ------------- ● aiT for ARM now supports Cortex-M0 (STM32F0DISCOVERY) ● All tools for ARM now support the Wind River Diab C/C++ ARM compiler and LLVM/Clang-based compilers. [...]

October 17th, 2018|AbsInt, News|

Astrée and RuleChecker Release 18.10

Eclipse plugin --------------- An Eclipse plugin for Astrée and RuleChecker is now available. The plugin is also part of the installation package. Improved performance --------------- ▲ Astrée analyses are now [...]

October 17th, 2018|AbsInt, News|
Load More Posts

PRODUCTS

PRICE INFORMATION
SOFTWARE EVALUATION
TECHNICAL SUPPORT
LICENSE INFORMATION

EVENTS

iso-26262 conference logo

Euroforum ISO 26262

May 13 @ 2:00 pm - 2:30 pm