About: AbsInt

An Entity of Type: Gesellschaft mit beschränkter Haftung, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property	Value
dbo:abstract	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. (en)
dbo:foundingYear	1998-01-01 (xsd:gYear)
dbo:keyPerson	dbr:Reinhard_Wilhelm
dbo:locationCity	dbr:Saarbrücken
dbo:locationCountry	dbr:Germany
dbo:product	dbr:CompCert dbr:Astrée_(static_analysis)
dbo:thumbnail	wiki-commons:Special:FilePath/Logo_AbsInt.png?width=300
dbo:type	dbr:Gesellschaft_mit_beschränkter_Haftung
dbo:wikiPageID	37301795 (xsd:integer)
dbo:wikiPageLength	12161 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1009643694 (xsd:integer)
dbo:wikiPageWikiLink	dbr:MISRA_C dbr:Jules_Verne_Automated_Transfer_Vehicle dbr:Patrick_Cousot dbr:Reinhard_Wilhelm dbc:Static_program_analysis_tools dbr:CompCert dbr:Saarbrücken dbr:Saarland_University dbr:École_Normale_Supérieure dbr:Germany dbr:NASA dbr:Stack_(abstract_data_type) dbr:Common_Weakness_Enumeration dbr:Stack_overflow dbr:Static_program_analysis dbr:CNRS dbr:Esterel_Technologies dbr:European_Commission dbr:Gesellschaft_mit_beschränkter_Haftung dbr:Astrée_(static_analysis) dbr:International_Space_Station dbc:Software_companies_established_in_1998 dbc:Software_companies_of_Germany dbr:Abstract_interpretation dbc:Companies_based_in_Saarland dbr:INRIA dbr:National_Highway_Traffic_Safety_Administration dbr:Real-time_systems dbr:C_programming_language dbr:Worst-case_execution_time dbr:Multi-core dbr:BMBF dbr:SEI_CERT_C dbr:Unintended_acceleration
dbp:hqLocationCity	dbr:Saarbrücken
dbp:hqLocationCountry	dbr:Germany
dbp:industry	Software Verification Tools (en)
dbp:keyPeople	Founders: Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Stephan Thesing, and Reinhard Wilhelm (en)
dbp:logo	Logo AbsInt.png (en)
dbp:name	AbsInt Angewandte Informatik GmbH (en)
dbp:products	aiT, StackAnalyzer, Astrée, RuleChecker, CompCert, TimingProfiler, TimeWeaver (en)
dbp:type	dbr:Gesellschaft_mit_beschränkter_Haftung
dbp:wikiPageUsesTemplate	dbt:Infobox_company dbt:Official_website dbt:Reflist dbt:Start_date_and_age dbt:URL dbt:Undisclosed_paid
dcterms:subject	dbc:Static_program_analysis_tools dbc:Software_companies_established_in_1998 dbc:Software_companies_of_Germany dbc:Companies_based_in_Saarland
gold:hypernym	dbr:Vendor
rdf:type	owl:Thing dbo:Company schema:Organization dul:Agent dul:SocialPerson dbo:Agent wikidata:Q24229398 wikidata:Q43229 wikidata:Q4830453 yago:WikicatCompaniesBasedInSaarbrücken yago:WikicatSoftwareCompaniesBasedInSaarbrücken yago:Abstraction100002137 yago:Company108058098 yago:Group100031264 yago:Institution108053576 yago:Organization108008335 yago:YagoLegalActor yago:YagoLegalActorGeo yago:YagoPermanentlyLocatedEntity dbo:Organisation yago:SocialGroup107950920
rdfs:comment	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. (en)
rdfs:label	AbsInt (en)
owl:sameAs	freebase:AbsInt yago-res:AbsInt wikidata:AbsInt https://global.dbpedia.org/id/4L1uB
prov:wasDerivedFrom	wikipedia-en:AbsInt?oldid=1009643694&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Logo_AbsInt.png
foaf:homepage	http://www.absint.com
foaf:isPrimaryTopicOf	wikipedia-en:AbsInt
foaf:name	AbsInt Angewandte Informatik GmbH (en)
is dbo:developer of	dbr:CompCert
is dbo:wikiPageDisambiguates of	dbr:Absint
is dbo:wikiPageWikiLink of	dbr:MISRA_C dbr:Reinhard_Wilhelm dbr:CompCert dbr:Absint dbr:Absinthe_(disambiguation) dbr:Astrée_(static_analysis) dbr:Radhia_Cousot
is dbp:developer of	dbr:CompCert
is foaf:primaryTopic of	wikipedia-en:AbsInt