AbsInt

Use the mouse wheel or two fingers (on touchscreens) to zoom in and out of the map.

Export map as:

Research this topic

Explore the main themes, entities and connections around AbsInt. Start with the topic map, then use the sections below for research and deeper semantic analysis.

Explore this topic

Start with a few of the strongest sections from the source topic. These are research directions, not a list of keywords you must use.

Products

WCET Real-time systems Microprocessor National Highway Traffic Safety Administration NASA

30 related topics

History

Stack usage Airbus A380 Mälardalen University Esterel Technologies INRIA

10 related topics

Overview

Saarbrücken Germany Prof. Reinhard Wilhelm Saarland University Abstract interpretation

5 related topics

Key facts & relationships

High-confidence facts extracted from structured source data. Use them as anchors for further research.

Founded: 1998; 28 years ago (1998)
Industry: Software Verification Tools
Headquarters: Saarbrücken, Germany
Key people: Founders: Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Stephan Thesing, and Reinhard Wilhelm
Products: aiT, StackAnalyzer, Astrée, RuleChecker, CompCert, TimingProfiler, TimeWeaver
Type: Gesellschaft mit beschränkter Haftung

Topics to explore

Browse the full topic structure. Each item opens a new analysis centered on that subject.

Overview

Products

WCET Worst-case execution time
Real-time systems
Microprocessor
National Highway Traffic Safety Administration
NASA
Study on Sudden Unintended Acceleration Unintended acceleration
Stack overflow
Astrée Astrée (static analysis)
Patrick Cousot
CNRS
ENS École Normale Supérieure
NIST
C++
MISRA C
SEI CERT C
CWE Common Weakness Enumeration
Multi-core
CompCert
Compiler
PowerPC
ARM ARM architecture family
AArch64
IA32
X86
32-bit
AMD64
RISC-V
64-bit
Xavier Leroy
ACM Software System Award

History

Stack usage Stack (abstract data type)
Airbus A380
Mälardalen University
Esterel Technologies
INRIA
Jules Verne Automated Transfer Vehicle
International Space Station
European Commission
German Ministry of Education and Research BMBF?action=edit&redlink=1
Static program analysis

Advanced semantic analysis

Deeper signals for content research, entity SEO and topical coverage. The plain-language headings explain what each technical view is useful for.

Map overview Semantic statistics

Nodes49

Edges48

Triples30

Avg. degree1.96

Density0.040816

Components1

How this topic connects Entity context

See the strongest relationship patterns around the current topic before diving into the raw triples.

AbsInt

Top relations

related to history · 22

AbsInt → Airbus A380, An, Analyzers, Compilers, Department, Esterel Technologies, European, European Information Society Technology, In, Mälardalen University, PAG, Prize, Program Analyzer Generator PAG, Programming Languages, Saarland University, SCADE Suite, StackAnalyzer, The, WCET, WCET Analyzer

Founded · 1

AbsInt → 1998; 28 years ago (1998)

Headquarters · 1

AbsInt → Saarbrücken, Germany

Industry · 1

AbsInt → Software Verification Tools

Key people · 1

AbsInt → Founders: Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Stephan Thesing, and Reinhard Wilhelm

Products · 1

AbsInt → aiT, StackAnalyzer, Astrée, RuleChecker, CompCert, TimingProfiler, TimeWeaver

Type · 1

AbsInt → Gesellschaft mit beschränkter Haftung

Website · 1

AbsInt → www.absint.com

is a · 1

AbsInt → software-development tools vendor based in Saarbrücken

Important terminology Word statistics

Use these terms to understand the vocabulary surrounding the topic, not as a checklist for keyword stuffing.

Important terminology

astrée static used software tools ait wcet analyzer analysis stackanalyzer program 1998 products compcert saarbrücken germany tool university abstract worldwide

Entity relationships Subject–Predicate–Object triples

Subject	Predicate	Object	Confidence	Src
AbsInt	Founded	1998; 28 years ago (1998)	1.00	infobox
AbsInt	Headquarters	Saarbrücken, Germany	1.00	infobox
AbsInt	Industry	Software Verification Tools	1.00	infobox
AbsInt	Key people	Founders: Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Stephan Thesing, and Reinhard Wilhelm	1.00	infobox
AbsInt	Products	aiT, StackAnalyzer, Astrée, RuleChecker, CompCert, TimingProfiler, TimeWeaver	1.00	infobox
AbsInt	Type	Gesellschaft mit beschränkter Haftung	1.00	infobox
AbsInt	Website	www.absint.com	1.00	infobox
AbsInt	is a	software-development tools vendor based in Saarbrücken	0.90	text
AbsInt	related to history	Department	0.60	section
AbsInt	related to history	Programming Languages	0.60	section
AbsInt	related to history	Compilers	0.60	section
AbsInt	related to history	Saarland University	0.60	section

Related concept clusters Concept neighborhoods

These clusters group vocabulary that occurs around closely connected concepts in the source material.

Connections between topic areas Semantic bridges

Bridges can reveal useful research angles that are easy to miss in a flat list of related terms.

Min side: 3