AbsInt
id:
absint-300-10358444
title:
AbsInt
text:
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.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/AbsInt
date created:
date modified:
2023-11-08T02:54:13Z
main entity:
{"identifier":"Q4669633","url":"https://www.wikidata.org/entity/Q4669633"}
image:
fields total:
13
integrity:
13