| http://dbpedia.org/ontology/abstract
|
AbsInt is a software-development tools ven … 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.tutions, government agencies and startups.
|
| http://dbpedia.org/ontology/foundingYear
|
1998
|
| http://dbpedia.org/ontology/keyPerson
|
http://dbpedia.org/resource/Reinhard_Wilhelm +
|
| http://dbpedia.org/ontology/locationCity
|
http://dbpedia.org/resource/Saarbr%C3%BCcken +
|
| http://dbpedia.org/ontology/locationCountry
|
http://dbpedia.org/resource/Germany +
|
| http://dbpedia.org/ontology/product
|
http://dbpedia.org/resource/Astr%C3%A9e_%28static_analysis%29 +
, http://dbpedia.org/resource/CompCert +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Logo_AbsInt.png?width=300 +
|
| http://dbpedia.org/ontology/type
|
http://dbpedia.org/resource/Gesellschaft_mit_beschr%C3%A4nkter_Haftung +
|
| http://dbpedia.org/ontology/wikiPageID
|
37301795
|
| http://dbpedia.org/ontology/wikiPageLength
|
12161
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1009643694
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Static_program_analysis_tools +
, http://dbpedia.org/resource/Saarland_University +
, http://dbpedia.org/resource/NASA +
, http://dbpedia.org/resource/Common_Weakness_Enumeration +
, http://dbpedia.org/resource/Unintended_acceleration +
, http://dbpedia.org/resource/Germany +
, http://dbpedia.org/resource/Jules_Verne_Automated_Transfer_Vehicle +
, http://dbpedia.org/resource/SEI_CERT_C +
, http://dbpedia.org/resource/Category:Companies_based_in_Saarland +
, http://dbpedia.org/resource/International_Space_Station +
, http://dbpedia.org/resource/BMBF +
, http://dbpedia.org/resource/Esterel_Technologies +
, http://dbpedia.org/resource/Stack_%28abstract_data_type%29 +
, http://dbpedia.org/resource/Abstract_interpretation +
, http://dbpedia.org/resource/CNRS +
, http://dbpedia.org/resource/CompCert +
, http://dbpedia.org/resource/Worst-case_execution_time +
, http://dbpedia.org/resource/Static_program_analysis +
, http://dbpedia.org/resource/Saarbr%C3%BCcken +
, http://dbpedia.org/resource/MISRA_C +
, http://dbpedia.org/resource/C_programming_language +
, http://dbpedia.org/resource/Multi-core +
, http://dbpedia.org/resource/Category:Software_companies_of_Germany +
, http://dbpedia.org/resource/Gesellschaft_mit_beschr%C3%A4nkter_Haftung +
, http://dbpedia.org/resource/Category:Software_companies_established_in_1998 +
, http://dbpedia.org/resource/Real-time_systems +
, http://dbpedia.org/resource/European_Commission +
, http://dbpedia.org/resource/National_Highway_Traffic_Safety_Administration +
, http://dbpedia.org/resource/Astr%C3%A9e_%28static_analysis%29 +
, http://dbpedia.org/resource/Reinhard_Wilhelm +
, http://dbpedia.org/resource/INRIA +
, http://dbpedia.org/resource/Patrick_Cousot +
, http://dbpedia.org/resource/%C3%89cole_Normale_Sup%C3%A9rieure +
, http://dbpedia.org/resource/Stack_overflow +
|
| http://dbpedia.org/property/hqLocationCity
|
http://dbpedia.org/resource/Saarbr%C3%BCcken +
|
| http://dbpedia.org/property/hqLocationCountry
|
http://dbpedia.org/resource/Germany +
|
| http://dbpedia.org/property/industry
|
Software Verification Tools
|
| http://dbpedia.org/property/keyPeople
|
Founders: Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Stephan Thesing, and Reinhard Wilhelm
|
| http://dbpedia.org/property/logo
|
Logo AbsInt.png
|
| http://dbpedia.org/property/name
|
AbsInt Angewandte Informatik GmbH
|
| http://dbpedia.org/property/products
|
aiT, StackAnalyzer, Astrée, RuleChecker, CompCert, TimingProfiler, TimeWeaver
|
| http://dbpedia.org/property/type
|
http://dbpedia.org/resource/Gesellschaft_mit_beschr%C3%A4nkter_Haftung +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:URL +
, http://dbpedia.org/resource/Template:Start_date_and_age +
, http://dbpedia.org/resource/Template:Undisclosed_paid +
, http://dbpedia.org/resource/Template:Official_website +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Infobox_company +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Software_companies_established_in_1998 +
, http://dbpedia.org/resource/Category:Software_companies_of_Germany +
, http://dbpedia.org/resource/Category:Static_program_analysis_tools +
, http://dbpedia.org/resource/Category:Companies_based_in_Saarland +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Vendor +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/AbsInt?oldid=1009643694&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Logo_AbsInt.png +
|
| http://xmlns.com/foaf/0.1/homepage
|
http://www.absint.com +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/AbsInt +
|
| http://xmlns.com/foaf/0.1/name
|
AbsInt Angewandte Informatik GmbH
|
| owl:sameAs |
http://www.wikidata.org/entity/Q4669633 +
, http://rdf.freebase.com/ns/m.0n5t_59 +
, http://dbpedia.org/resource/AbsInt +
, https://global.dbpedia.org/id/4L1uB +
, http://yago-knowledge.org/resource/AbsInt +
|
| rdf:type |
http://dbpedia.org/ontology/Company +
, http://dbpedia.org/class/yago/Institution108053576 +
, http://dbpedia.org/class/yago/WikicatSoftwareCompaniesBasedInSaarbr%C3%BCcken +
, http://dbpedia.org/class/yago/WikicatCompaniesBasedInSaarbr%C3%BCcken +
, http://dbpedia.org/class/yago/SocialGroup107950920 +
, http://www.wikidata.org/entity/Q43229 +
, http://dbpedia.org/class/yago/Company108058098 +
, http://www.wikidata.org/entity/Q4830453 +
, http://schema.org/Organization +
, http://dbpedia.org/ontology/Agent +
, http://www.wikidata.org/entity/Q24229398 +
, http://dbpedia.org/class/yago/YagoPermanentlyLocatedEntity +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Agent +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#SocialPerson +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Organization108008335 +
, http://dbpedia.org/class/yago/Group100031264 +
, http://dbpedia.org/ontology/Organisation +
|
| rdfs:comment |
AbsInt is a software-development tools ven … 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.tutions, government agencies and startups.
|
| rdfs:label |
AbsInt
|
