Events
View All
Webinar: AMC/AC 20-193: Certification of Avionics Software Running on Multi-Core Processors (MCPs).
This webinar focuses on timing verification with an emphasis on worst-case execution time analysis. Participants will learn about established and emerging techniques for timing verification, incl[...]
Learn More
Webinar: NXP i.MX93: Revealing the True Power of Arm Cortex-A55 Processor
VIEW RECORDING HERE Topics: - NXP i.MX. MX93: Revealing the True Power of the ARM Cortex-A55 Processor. - ARM DS Development Tools - Correlium Virtual Platform The i.MX93 processors are [...]
Learn MoreNews
View All
CompCert: Advancing Confidence in Safety-Critical Software Development
In the modern age where everything is run by software, the reliability of software toolchains plays a crucial role in safety critical industries such as aerospace, automotive and industrial appli[...]
Read more
New features New function attribute alias for ELF targets, allowing to add weak aliases, i.e. alternate names for functions. New command line options to select data types implementing size_t and[...]
Read more
Release 26.04 Astrée and RuleChecker
Astrée and RuleChecker Release 26.04 An HTML version of these release notes is available at absint.com/releasenotes/astree/26.04 A video summary is available at youtube.com/watch?v=iqTdNtoJjBU [...]
Read more
Release 26.04 aiT, TimeWeaver, TimingProfiler, StackAnalyzer, ValueAnalyzer, EnergyAnalyzer
a³ 26.04 release notes An HTML version of these notes is available at absint.com/releasenotes/a3/26.04 A video summary is available at youtube.com/watch?v=rQmJIzzgohE New targets * TimeWeave[...]
Read more
CompCert Qualification Achieved for Avionics Software
AbsInt is proud to announce that at the beginning of 2026 the CompCert compiler has officially been qualified for the Multi-Function Computer New Generation (MFC_NG) of ATR 42/72 aircrafts. For t[...]
Read more
New Targets - StackAnalyzer for ARM 32-bit/LLVM/Clang-based compiler - StackAnalyzer for ARM 64-bit/LLVM/Clang-based compiler - StackAnalyzer for Infineon TriCore-AURIX/CompCert com[...]
Read more
Release 25.10 of AbsInt Tools for Safety-Critical Software Development
All Products =============== - The AbsInt Linux tools require now RHEL 9 or compatible and ship a Dockerfile creating a compatible Rocky Linux 9 container to facilitate deployment in containerize[...]
Read more
The first and only formally verified C compiler for safety-critical TriCore applications
CompCert for TriCore is a formally verified optimizing C compiler. Its intended use is compiling safety-critical software and meeting the highest levels of assurance. Can you trust your compile[...]
Read more
25.10 Release of AbsInt Tools for Safety-Critical Software Development
All tools =========== - The AbsInt Linux tools require now RHEL 9 or compatible and ship a Dockerfile creating a compatible Rocky Linux 9 container to facilitate deployment in containerized en[...]
Read more
Optimized decoding Improved graphs, stats, and search All-new widget for trace-based guessing of DLL addresses Improved DWARF handling Improved CSV export Improved character encoding in all edit[...]
Read moreContact us for a Free Consultation Call
Fill in this form and our team will reach out to schedule an initial consultation call. We will help you discover the full potential of our tools without any commitment.
PRODUCTS
Manufacturers
Resource center