Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Polyspace> ?p ?o }
Showing triples 1 to 63 of
63
with 100 triples per page.
- Polyspace abstract "Polyspace is a static code analysis tool for large-scale analysis by abstract interpretation to detect, or prove the absence of, certain run-time errors in source code for the C, C++, and Ada programming languages. The tool also checks source code for adherence to appropriate code standards.".
- Polyspace developer MathWorks.
- Polyspace genre Static_program_analysis.
- Polyspace latestReleaseDate "2016-03-04".
- Polyspace latestReleaseVersion "R2016a".
- Polyspace license Proprietary_software.
- Polyspace wikiPageExternalLink AlainDeutsch.html.
- Polyspace wikiPageExternalLink polyspace?s_cid=wiki_polyspace_2.
- Polyspace wikiPageExternalLink static-analysis?s_cid=wiki_polyspace_3.
- Polyspace wikiPageExternalLink polyspace.
- Polyspace wikiPageID "28834767".
- Polyspace wikiPageLength "6520".
- Polyspace wikiPageOutDegree "14".
- Polyspace wikiPageRevisionID "708284421".
- Polyspace wikiPageWikiLink Abstract_interpretation.
- Polyspace wikiPageWikiLink Arithmetic_overflow.
- Polyspace wikiPageWikiLink Buffer_overflow.
- Polyspace wikiPageWikiLink Category:Abstract_interpretation.
- Polyspace wikiPageWikiLink Category:Software_testing_tools.
- Polyspace wikiPageWikiLink Category:Static_program_analysis_tools.
- Polyspace wikiPageWikiLink Cross-platform.
- Polyspace wikiPageWikiLink Division_by_zero.
- Polyspace wikiPageWikiLink Formal_methods.
- Polyspace wikiPageWikiLink List_of_tools_for_static_code_analysis.
- Polyspace wikiPageWikiLink MISRA_C.
- Polyspace wikiPageWikiLink MathWorks.
- Polyspace wikiPageWikiLink Proprietary_software.
- Polyspace wikiPageWikiLink Static_program_analysis.
- Polyspace wikiPageWikiLinkText "Polyspace".
- Polyspace caption "Polyspace results annotated in source code".
- Polyspace developer MathWorks.
- Polyspace genre Static_program_analysis.
- Polyspace latestReleaseDate "2016-03-04".
- Polyspace latestReleaseVersion "R2016a".
- Polyspace license Proprietary_software.
- Polyspace name "Polyspace".
- Polyspace operatingSystem Cross-platform.
- Polyspace products "Polyspace Bug Finder, Polyspace Code Prover".
- Polyspace website polyspace?s_cid=wiki_polyspace_2.
- Polyspace wikiPageUsesTemplate Template:For.
- Polyspace wikiPageUsesTemplate Template:Infobox_Software.
- Polyspace wikiPageUsesTemplate Template:Reflist.
- Polyspace wikiPageUsesTemplate Template:Release_date.
- Polyspace subject Category:Abstract_interpretation.
- Polyspace subject Category:Software_testing_tools.
- Polyspace subject Category:Static_program_analysis_tools.
- Polyspace type Software.
- Polyspace type Work.
- Polyspace type Tool.
- Polyspace type CreativeWork.
- Polyspace type Thing.
- Polyspace type Q386724.
- Polyspace type Q7397.
- Polyspace comment "Polyspace is a static code analysis tool for large-scale analysis by abstract interpretation to detect, or prove the absence of, certain run-time errors in source code for the C, C++, and Ada programming languages. The tool also checks source code for adherence to appropriate code standards.".
- Polyspace label "Polyspace".
- Polyspace sameAs Q7226954.
- Polyspace sameAs PolySpace.
- Polyspace sameAs m.0ddc21p.
- Polyspace sameAs Q7226954.
- Polyspace wasDerivedFrom Polyspace?oldid=708284421.
- Polyspace homepage polyspace?s_cid=wiki_polyspace_2.
- Polyspace isPrimaryTopicOf Polyspace.
- Polyspace name "Polyspace".