Matches in DBpedia 2015-04 for { <http://dbpedia.org/resource/AbsInt> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- AbsInt 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.".
- AbsInt keyPerson Reinhard_Wilhelm.
- AbsInt location Germany.
- AbsInt location Saarbrücken.
- AbsInt product Astrée_(static_analysis).
- AbsInt type Privately_held_company.
- AbsInt wikiPageExternalLink www.absint.com.
- AbsInt wikiPageExternalLink www.absint.com.
- AbsInt wikiPageID "37301795".
- AbsInt wikiPageRevisionID "641212527".
- AbsInt hasPhotoCollection AbsInt.
- AbsInt homepage www.absint.com.
- AbsInt industry "Software Verification Tools".
- AbsInt keyPeople "Founders: Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Stephan Thesing, and Reinhard Wilhelm".
- AbsInt location "Saarbrücken, Germany".
- AbsInt logo "200".
- AbsInt name "AbsInt Angewandte Informatik GmbH".
- AbsInt products "aiT, StackAnalyzer, Astrée".
- AbsInt type Privately_held_company.
- AbsInt subject Category:Static_program_analysis_tools.
- AbsInt subject Category:Companies_based_in_Saarbr%C3%BCcken.
- AbsInt subject Category:Software_companies_based_in_Saarbr%C3%BCcken.
- AbsInt type Agent.
- AbsInt type Company.
- AbsInt type Organisation.
- AbsInt type Organization.
- AbsInt type Agent.
- AbsInt type SocialPerson.
- AbsInt type Thing.
- AbsInt type Q43229.
- AbsInt 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.".
- AbsInt label "AbsInt".
- AbsInt sameAs m.0n5t_59.
- AbsInt sameAs Q4669633.
- AbsInt sameAs Q4669633.
- AbsInt wasDerivedFrom AbsInt?oldid=641212527.
- AbsInt homepage www.absint.com.
- AbsInt isPrimaryTopicOf AbsInt.
- AbsInt name "AbsInt Angewandte Informatik GmbH".