Matches in DBpedia 2014 for { <http://dbpedia.org/resource/AbsInt> ?p ?o. }
Showing items 1 to 38 of
38
with 100 items 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%C3%BCcken.
- AbsInt product Astr%C3%A9e_(static_analysis).
- AbsInt type Privately_held_company.
- AbsInt wikiPageExternalLink www.absint.com.
- AbsInt wikiPageExternalLink www.absint.com.
- AbsInt wikiPageID "37301795".
- AbsInt wikiPageRevisionID "600874343".
- AbsInt companyName "AbsInt Angewandte Informatik GmbH".
- AbsInt companyType Privately_held_company.
- 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 products "aiT, StackAnalyzer, Astrée".
- AbsInt subject Category:Static_program_analysis_tools.
- AbsInt subject Category:Companies_based_in_Saarbrücken.
- AbsInt subject Category:Software_companies_based_in_Saarbrücken.
- AbsInt type Agent.
- AbsInt type Company.
- AbsInt type Organisation.
- AbsInt type Organization.
- AbsInt type Agent.
- AbsInt type SocialPerson.
- AbsInt type Thing.
- 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=600874343.
- AbsInt homepage www.absint.com.
- AbsInt isPrimaryTopicOf AbsInt.
- AbsInt name "AbsInt Angewandte Informatik GmbH".