New Collaboration with AbsInt
ISIT
Toulouse, the 28th April 2025: ISIT, a major safety and cybersecurity partner in France, and AbsInt Angewandte Informatik GmbH, a global leader in advanced software verification technologies, are pleased to announce a new distribution agreement covering France and the United Kingdom.
Under this agreement, ISIT will distribute ABSINT’s tools - including aiT, TimeWeaver, Timing profiler, StackAnalyzer, CompCert and Astrée, to meet the increasing demand for high-assurance software development in industries such as aerospace, automotive, railway, and industrial automation.
Frédéric MARAVAL, Product Manager at ISIT, commented: " This partnership with AbsInt complements ISIT's offering by providing our clients with formal advanced technology-based solutions for critical software development. Together, ISIT and ABSINT will deliver integrated, high-value solutions that support compliance with key safety standards such as ISO 26262, DO-178C, and IEC 61508. We are excited about the new opportunities this collaboration will create for our customers in both France and the UK."
Dr.-Ing Christian FERDINAND, CEO of AbsInt, adds: "We are delighted to collaborate with ISIT to expand the availability of our verification tools in the French market. ISIT's expertise and strong presence among key players in critical industries in France and UK make them an ideal partner to make our advanced technology accessible to a greater number of organizations. Together, we will assist French and UK industry leaders in enhancing software safety and reliability across critical systems."
About AbsInt Angewandte Informatik GmbH:
AbsInt provides advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software. AsbInt was founded in 1998 and has its headquarters in Saarbrücken, Germany. The company name is an acronym for “abstract interpretation”, a sophisticated approach to static program analysis formalized by Patrick and Radhia Cousot at the Laboratoire d’Informatique, Grenoble in 1977. It is by implementing this approach that we were able to develop our unique and highly successful products.
About ISIT: Cybersec & Safety Partners
Under this agreement, ISIT will distribute ABSINT’s tools - including aiT, TimeWeaver, Timing profiler, StackAnalyzer, CompCert and Astrée, to meet the increasing demand for high-assurance software development in industries such as aerospace, automotive, railway, and industrial automation.
Frédéric MARAVAL, Product Manager at ISIT, commented: " This partnership with AbsInt complements ISIT's offering by providing our clients with formal advanced technology-based solutions for critical software development. Together, ISIT and ABSINT will deliver integrated, high-value solutions that support compliance with key safety standards such as ISO 26262, DO-178C, and IEC 61508. We are excited about the new opportunities this collaboration will create for our customers in both France and the UK."
Dr.-Ing Christian FERDINAND, CEO of AbsInt, adds: "We are delighted to collaborate with ISIT to expand the availability of our verification tools in the French market. ISIT's expertise and strong presence among key players in critical industries in France and UK make them an ideal partner to make our advanced technology accessible to a greater number of organizations. Together, we will assist French and UK industry leaders in enhancing software safety and reliability across critical systems."
About AbsInt Angewandte Informatik GmbH:
AbsInt provides advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software. AsbInt was founded in 1998 and has its headquarters in Saarbrücken, Germany. The company name is an acronym for “abstract interpretation”, a sophisticated approach to static program analysis formalized by Patrick and Radhia Cousot at the Laboratoire d’Informatique, Grenoble in 1977. It is by implementing this approach that we were able to develop our unique and highly successful products.
About ISIT: Cybersec & Safety Partners
