name
Absinthomepage url
www.absint.comcountry
Germanycrunchbase url
absintsector
Technologyindustry
Software Engineeringmonthly webtraffic
489monthly webtraffic growth
−51.05%
Description
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....Show MoreMetrics
- marketPRIVATE
- msh_idCOM:ABSINT
- localede
- websitehttps://www.absint.com
- crunchbasehttps://www.crunchbase.com/organization/absint
- source_ref0b621c91-57fa-4654-81c3-714edfa3314d
- products_or_servicesStatic analysis tools, formal verification tools, timing analysis, stack usage analysis, compliance checking for safety standards.