Live briefing
Everything about AbsInt
AbsInt is a software-development tools vendor based in Saarbrücken, Germany. The company was founded in 1998 as a technology spin-off from the Department of Programming Languages and Compiler Construction of Prof. Reinhard Wilhelm at Saarland University. AbsInt specializes in software-verification tools based on abstract interpretation. Its tools are used worldwide by Fortune 500 companies, educational institutions, government agencies and startups. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: AbsIntA 5-minute orientation
- Pick up a classic book: The Dedalus Book of Absinthe (Dedalus Concept Books)The most-reprinted book on the subject
- Read the landmark paper: AbsintCited 0 times
- Go sideways: Astrée (static analysis)A closely related topic
- Go sideways: Radhia CousotA closely related topic
🏆 Landmark papers (most cited)
📚 Books worth reading
The Dedalus Book of Absinthe (Dedalus Concept Books)Phil Baker · 2001
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Astrée (static analysis) Astrée ("Analyseur statique de logiciels temps-réel embarqués") is a static analyzer based on abstract interpretation. It analyzes programs written in…
- Radhia Cousot Radhia Cousot, née Rezig (French: [ʁadja kuzɔ]; 6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation…
- List of tools for static code analysis This is a list of notable tools for static program analysis (program analysis is a synonym for code analysis). CodePeer ConQAT Fluctuat LDRA Testbed MALPAS…
- Worst-case execution time The worst-case execution time (WCET) of a computational task is the maximum length of time the task could take to execute on a specific hardware platform…
- Static program analysis In computer science, static program analysis (also known as static analysis or static simulation) is the analysis of computer programs performed without…
- Patrick Cousot Patrick Cousot (born 3 December 1948) is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical…
- Reinhard Wilhelm Reinhard Wilhelm (born June 5, 1946) is a German computer scientist. Wilhelm was born in Deutmecke [de], today part of the municipality of Finnentrop,…
- CodeSonar CodeSonar is a static code analysis tool from AdaCore, formerly by CodeSecure and GrammaTech. CodeSonar is used to find and fix bugs and security vulnerabilitie…