Absint specializes in static analysis and formal verification of safety-critical software, offering tools such as aiT, TimeWeaver, TimingProfiler, StackAnalyzer, Astrée, RuleChecker, and CompCert. These tools assist in verifying the timing behavior, stack usage, and compliance of C and C++ applications, particularly in industries such as automotive, aviation, energy, and space. Self-described achievements include providing significant savings and higher accuracy for major clients.

Absint

IPhone / Mobile Compatible

Viewport Meta

SSL by Default

HSTS

LetsEncrypt

DMARC

IPv6

Apache

YouTube

Daniel Kästner

co-founder and CTO

AbsInt is provides advanced development tools for embedded sys­tems and tools for validation, veri­fication and certification of safety-critical software.

Saarbrücken

Saarland

Germany

Europe

AbsInt

India

Asia

Armenia

Ukraine

Turkey

news_impact_assignment_basic

key_people

merger_acquisitions

network_dossier

public_peers

news_daily_refresh

news_processing_daily_refresh

news_impact_assignment_daily

news_processing_basic

legal

legal_dossier

bundesanzeiger

events_dossier

partnerships_market_presence_dossier

partnerships_market_presence

company_dossier

network

strategic_challenges

industry_trends

strategic_challenges_dossier

industry_trends_dossier

company_summary

events

network_mapping

transactions_dossier

swot_dossier

signals

financial_statements

crunchbase_trigger

crunchbase_profile

li_profile

financials_download_nd

private_financials

swot_analysis

financial_legal_advisories

company_structure

industry_analysis

financial_analysis

funding_rounds_analysis

regulatory_analysis

competition_analysis

news_impact_assignment_advanced

news_processing_advanced

news_advanced

purchaser_profile

network_onboarding

translate_crunchbase_fundingrounds

peers

customer_profile

news_basic

valuation

news impact assignment basic	general
public peers	general	Nov 18, 2024 10:26 AM	7dff0486
news daily refresh	general
news processing daily refresh	general
news impact assignment daily	general
news processing basic	general
company summary	general
signals	general	Nov 18, 2024 10:26 AM	c7fdd708
crunchbase trigger	general	Nov 18, 2024 10:26 AM	8744abdb
crunchbase profile	general	Nov 18, 2024 11:07 AM	f8ac0bc7
li profile	general	Nov 18, 2024 10:26 AM	66e353b7
translate crunchbase fundingrounds	general	Nov 18, 2024 11:26 AM	53dd1fae
peers	general	Nov 18, 2024 10:26 AM	d9f863c1
news basic	general	Nov 18, 2024 10:26 AM	69635f25
bundesanzeiger	filings
financials download nd	financials
private financials	financials

ABSI

COM:ABSINT

Absint