2024年4月9日
Cooperation between Vector Informatik and AbsInt paves the way for autonomous driving
2022年11月15日
Together we are faster: Accelerated runtime analyses facilitate software development
2022年5月11日
AbsInt researchers win prestigious ACM Software System Award
2021年11月16日
QA-MISRA — the customised answer to market requirements
2021年9月15日
Project EMPHYSIS wins ITEA Award of Excellence — AbsInt’s Contribution
2020年7月1日
Astrée satisties NIST’s Ockham criteria (PDF)
2019年10月21日
AbsInt co-founders receive Test-of-Time Award
2019年5月21日
Static analysis at Bosch
2019年2月5日
AbsInt and Infineon offer a new timing tool chain for AURIX
2018年6月21日
Solid Sands and AbsInt combine tool strengths
2018年2月28日
TimeWeaver: a new product by AbsInt
2017年3月8日
RuleChecker: a new product by AbsInt
2016年3月21日
The ARGO project: tool chain for real-time programming
2015年9月12日
TimingProfiler and CompCert:
two new products by AbsInt
2014年2月12日
Production code generation:
cooperation between dSPACE and AbsInt
2011年9月1日
AbsInt complements tool qualification
2007年3月19日
aiT
WCET Analyzers succeed in the first WCET Tool Challenge
2005年4月27日
AbsInt
contributes to guaranteeing the safety of the A380, the world's
largest passenger aircraft