About: AbsInt

Property	Value
dbo:description	شركة ألمانية (ar) company in Saarbrücken, Germany (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:GmbH
dbo:wikiPageWikiLink	dbr:National_Highway_Traffic_Safety_Administration dbr:International_Space_Station dbc:Software_companies_established_in_1998 dbr:Esterel_Technologies dbr:Reinhard_Wilhelm dbr:Saarland_University dbr:Abstract_interpretation dbr:Germany dbr:Saarbrücken dbr:Static_program_analysis dbr:MISRA_C dbr:European_Commission dbr:Stack_(abstract_data_type) dbc:Software_companies_of_Germany dbr:Worst-case_execution_time dbr:Patrick_Cousot dbc:Companies_based_in_Saarland dbr:Stack_overflow dbr:NASA dbc:Static_program_analysis_tools dbr:CompCert dbr:Common_Weakness_Enumeration dbr:Astrée_(static_analysis) dbr:Multi-core dbr:C_programming_language dbr:INRIA dbr:École_Normale_Supérieure dbr:Real-time_systems dbr:Gesellschaft_mit_beschränkter_Haftung dbr:Jules_Verne_Automated_Transfer_Vehicle dbr:CNRS dbr:BMBF dbr:Unintended_acceleration dbr:SEI_CERT_C
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:GmbH
dbp:wikiPageUsesTemplate	dbt:Start_date_and_age dbt:Reflist dbt:Infobox_company dbt:URL dbt:Official_website dbt:Citation_needed dbt:Undisclosed_paid
dct:subject	dbc:Software_companies_established_in_1998 dbc:Software_companies_of_Germany dbc:Companies_based_in_Saarland dbc:Static_program_analysis_tools
gold:hypernym	dbr:Vendor
rdf:type	owl:Thing dul:Agent dul:SocialPerson wikidata:Q24229398 wikidata:Q43229 wikidata:Q4830453 dbo:Agent dbo:Organisation schema:Organization
rdfs:label	AbsInt (en)
owl:sameAs	freebase:AbsInt yago-res:AbsInt wikidata:AbsInt dbpedia-global:AbsInt
prov:wasDerivedFrom	wikipedia-en:AbsInt?oldid=1247301673&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Logo_AbsInt.png
foaf:homepage	http://www.absint.com 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:Reinhard_Wilhelm dbr:MISRA_C dbr:Absinthe_(disambiguation) dbr:Absint dbr:CompCert dbr:Astrée_(static_analysis) dbr:Radhia_Cousot
is dbp:developer of	dbr:CompCert
is foaf:primaryTopic of	wikipedia-en:AbsInt