Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Polyspace> ?p ?o. }
Showing items 1 to 50 of
50
with 100 items per page.
- Polyspace abstract "Polyspace is a static code analysis tool inspired by the failure of the maiden flight of Ariane 5 where a run time error resulted in destruction of the launch vehicle. It is the first example of large-scale static code analysis by abstract interpretation to detect and prove the absence of certain run-time errors in source code for the C, C++, and Ada programming languages. Polyspace also checks source code for adherence to MISRA C and other related code standards.".
- Polyspace developer MathWorks.
- Polyspace genre Static_program_analysis.
- Polyspace latestReleaseDate "2013-09-06".
- Polyspace latestReleaseVersion "R2013b".
- 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 wikiPageRevisionID "585777452".
- Polyspace caption "Polyspace results annotated in source code".
- Polyspace developer MathWorks.
- Polyspace genre Static_program_analysis.
- Polyspace hasPhotoCollection Polyspace.
- Polyspace latestReleaseDate "2013-09-06".
- Polyspace latestReleaseVersion "R2013b".
- Polyspace license Proprietary_software.
- Polyspace name "Polyspace".
- Polyspace operatingSystem Cross-platform.
- Polyspace website polyspace?s_cid=wiki_polyspace_2.
- Polyspace subject Category:Abstract_interpretation.
- Polyspace subject Category:Software_testing_tools.
- Polyspace subject Category:Static_program_analysis_tools.
- Polyspace type Artifact100021939.
- Polyspace type Implement103563967.
- Polyspace type Instrumentality103575240.
- Polyspace type Object100002684.
- Polyspace type PhysicalEntity100001930.
- Polyspace type SoftwareVerificationTools.
- Polyspace type StaticProgramAnalysisTools.
- Polyspace type Tool104451818.
- Polyspace type Whole100003553.
- Polyspace type Software.
- Polyspace type Work.
- Polyspace type CreativeWork.
- Polyspace type InformationEntity.
- Polyspace comment "Polyspace is a static code analysis tool inspired by the failure of the maiden flight of Ariane 5 where a run time error resulted in destruction of the launch vehicle. It is the first example of large-scale static code analysis by abstract interpretation to detect and prove the absence of certain run-time errors in source code for the C, C++, and Ada programming languages. Polyspace also checks source code for adherence to MISRA C and other related code standards.".
- Polyspace label "PolySpace".
- Polyspace label "Polyspace".
- Polyspace sameAs PolySpace.
- Polyspace sameAs m.0ddc21p.
- Polyspace sameAs Q7226954.
- Polyspace sameAs Q7226954.
- Polyspace sameAs Polyspace.
- Polyspace wasDerivedFrom Polyspace?oldid=585777452.
- Polyspace homepage polyspace?s_cid=wiki_polyspace_2.
- Polyspace isPrimaryTopicOf Polyspace.
- Polyspace name "Polyspace".