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|

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|
Load More Posts

PRODUCTS

PRICE INFORMATION
SOFTWARE EVALUATION
TECHNICAL SUPPORT
LICENSE INFORMATION

EVENTS