abstract-interpretation.com domain details, AbsInt: Cutting-Edge Tools for Static Analysis of Safety-Critical Software

home > domains > abstract-interpretation.com

domain urls (10) domain links in (0) domain links out (9)

Description: AbsInt provides sophisticated software products and advanced services in the areas of compiler technology, static program analysis and worst-case execution time prediction. The company name is a shorthand for 'abstract interpretation', a formal method for static program analysis.

absint angewandte informatik abstract interpretation compiler technology embedded system software WCET analysis

Domain rank: 100000000

Domain speed: Very fast (0.051 seconds at 304.059 MB/s)

Indexed URLs from abstract-interpretation.com website (10)

The links in column here only counts links from external domains.

found date
links in
url title
url
2022-09-14
0
AbsInt: References
abstract-interpretation.com/success.htm
2022-09-14
0
Press Release: AbsInt researchers win prestigious ACM Software System Award
abstract-interpretation.com/releases/220511.htm
2022-09-14
0
CompCert: formally verified optimizing C compiler
abstract-interpretation.com/compcert/
2022-07-19
0
AbsInt: Cutting-Edge Tools for Static Analysis of Safety-Critical Software
abstract-interpretation.com
2022-09-14
0
TimingProfiler: Estimating Worst-Case Execution Time During Development
abstract-interpretation.com/timingprofiler/
2022-09-14
0
AbsInt: Products
abstract-interpretation.com/products.htm
2022-09-14
0
StackAnalyzer: Stack Usage Analysis
abstract-interpretation.com/stackanalyzer/
2022-09-14
0
AbsInt: User Story Bosch Automotive Steering
abstract-interpretation.com/bosch_as.htm
2022-09-14
0
AbsInt: News
abstract-interpretation.com/news/
2022-09-14
0
AbsInt: Company Profile
abstract-interpretation.com/profile.htm

Plain text list