absint.com · 769
AbsInt is a cutting-edge company that offers sophisticated software products and advanced services in the fields of compiler technology, static program analysis, and worst-case execution time prediction. The company's name is derived from 'abstract interpretation', a formal method for static program analysis. They provide unique tools and services for the development, analysis, and certification of safety-critical software. Some of their products include aiT, TimeWeaver, TimingProfiler, StackAnalyzer, Astrée, RuleChecker, and CompCert. AbsInt's services have been utilized in various industries, such as flight control and navigation algorithms, to replace legacy tools and ensure the absence of runtime errors.
absint.com · years statistic
1997
1 | 0 |
2 | 0 |
3 | 0 |
4 | 3 |
5 | 0 |
6 | 0 |
7 | 0 |
8 | 0 |
9 | 0 |
10 | 1 |
11 | 0 |
12 | 1 |
1998
1 | 2 |
2 | 0 |
3 | 0 |
4 | 3 |
5 | 0 |
6 | 0 |
7 | 0 |
8 | 0 |
9 | 0 |
10 | 0 |
11 | 0 |
12 | 0 |
2000
1 | 0 |
2 | 0 |
3 | 0 |
4 | 0 |
5 | 0 |
6 | 0 |
7 | 0 |
8 | 0 |
9 | 1 |
10 | 0 |
11 | 0 |
12 | 1 |
2001
1 | 0 |
2 | 1 |
3 | 1 |
4 | 1 |
5 | 0 |
6 | 0 |
7 | 1 |
8 | 0 |
9 | 0 |
10 | 0 |
11 | 1 |
12 | 0 |
2002
1 | 1 |
2 | 0 |
3 | 1 |
4 | 0 |
5 | 2 |
6 | 1 |
7 | 0 |
8 | 2 |
9 | 2 |
10 | 0 |
11 | 2 |
12 | 0 |
2003
1 | 1 |
2 | 0 |
3 | 3 |
4 | 0 |
5 | 0 |
6 | 3 |
7 | 1 |
8 | 1 |
9 | 1 |
10 | 1 |
11 | 1 |
12 | 1 |
2004
1 | 0 |
2 | 0 |
3 | 0 |
4 | 1 |
5 | 2 |
6 | 11 |
7 | 11 |
8 | 5 |
9 | 4 |
10 | 3 |
11 | 2 |
12 | 1 |
2005
1 | 2 |
2 | 7 |
3 | 2 |
4 | 9 |
5 | 7 |
6 | 2 |
7 | 5 |
8 | 3 |
9 | 4 |
10 | 1 |
11 | 3 |
12 | 9 |
2006
1 | 101 |
2 | 3 |
3 | 4 |
4 | 3 |
5 | 2 |
6 | 2 |
7 | 5 |
8 | 3 |
9 | 0 |
10 | 2 |
11 | 0 |
12 | 1 |
2007
1 | 4 |
2 | 1 |
3 | 0 |
4 | 1 |
5 | 0 |
6 | 4 |
7 | 0 |
8 | 0 |
9 | 3 |
10 | 9 |
11 | 1 |
12 | 1 |
2008
1 | 1 |
2 | 1 |
3 | 1 |
4 | 1 |
5 | 2 |
6 | 1 |
7 | 19 |
8 | 21 |
9 | 6 |
10 | 3 |
11 | 1 |
12 | 2 |
2009
1 | 0 |
2 | 1 |
3 | 0 |
4 | 0 |
5 | 0 |
6 | 0 |
7 | 0 |
8 | 0 |
9 | 0 |
10 | 0 |
11 | 0 |
12 | 0 |
2010
1 | 0 |
2 | 0 |
3 | 1 |
4 | 2 |
5 | 1 |
6 | 0 |
7 | 0 |
8 | 0 |
9 | 1 |
10 | 0 |
11 | 0 |
12 | 0 |
2011
1 | 1 |
2 | 0 |
3 | 0 |
4 | 0 |
5 | 1 |
6 | 0 |
7 | 1 |
8 | 2 |
9 | 3 |
10 | 2 |
11 | 1 |
12 | 1 |
2012
1 | 1 |
2 | 1 |
3 | 0 |
4 | 0 |
5 | 0 |
6 | 1 |
7 | 1 |
8 | 0 |
9 | 0 |
10 | 0 |
11 | 0 |
12 | 1 |
2013
1 | 2 |
2 | 1 |
3 | 2 |
4 | 2 |
5 | 2 |
6 | 2 |
7 | 3 |
8 | 0 |
9 | 2 |
10 | 0 |
11 | 1 |
12 | 3 |
2014
1 | 0 |
2 | 1 |
3 | 0 |
4 | 0 |
5 | 1 |
6 | 0 |
7 | 3 |
8 | 0 |
9 | 2 |
10 | 1 |
11 | 1 |
12 | 2 |
2015
1 | 2 |
2 | 1 |
3 | 3 |
4 | 0 |
5 | 1 |
6 | 1 |
7 | 0 |
8 | 2 |
9 | 3 |
10 | 0 |
11 | 1 |
12 | 0 |
2016
1 | 4 |
2 | 3 |
3 | 8 |
4 | 2 |
5 | 1 |
6 | 1 |
7 | 3 |
8 | 0 |
9 | 0 |
10 | 2 |
11 | 1 |
12 | 2 |
2017
1 | 2 |
2 | 0 |
3 | 1 |
4 | 0 |
5 | 0 |
6 | 1 |
7 | 2 |
8 | 2 |
9 | 2 |
10 | 3 |
11 | 2 |
12 | 0 |
2018
1 | 0 |
2 | 1 |
3 | 1 |
4 | 2 |
5 | 0 |
6 | 3 |
7 | 0 |
8 | 2 |
9 | 0 |
10 | 2 |
11 | 1 |
12 | 3 |
2019
1 | 3 |
2 | 1 |
3 | 4 |
4 | 0 |
5 | 4 |
6 | 0 |
7 | 1 |
8 | 0 |
9 | 6 |
10 | 2 |
11 | 0 |
12 | 3 |
2020
1 | 3 |
2 | 1 |
3 | 1 |
4 | 0 |
5 | 8 |
6 | 1 |
7 | 2 |
8 | 5 |
9 | 3 |
10 | 9 |
11 | 5 |
12 | 2 |
2021
1 | 1 |
2 | 1 |
3 | 1 |
4 | 8 |
5 | 3 |
6 | 7 |
7 | 0 |
8 | 9 |
9 | 1 |
10 | 3 |
11 | 5 |
12 | 7 |
2022
1 | 34 |
2 | 6 |
3 | 16 |
4 | 4 |
5 | 5 |
6 | 11 |
7 | 6 |
8 | 3 |
9 | 5 |
10 | 5 |
11 | 3 |
12 | 2 |
2023
1 | 4 |
2 | 4 |
3 | 32 |
4 | 2 |
5 | 3 |
6 | 11 |
7 | 5 |
8 | 10 |
9 | 3 |
10 | 2 |
11 | 2 |
12 | 5 |
2024
1 | 2 |
2 | 1 |
3 | 3 |
4 | 1 |
5 | 0 |
6 | 0 |
7 | 0 |
8 | 0 |
9 | 0 |
10 | 0 |
11 | 0 |
12 | 0 |