Skip to search formSkip to main contentSkip to account menu

Polyspace

Polyspace is a static code analysis tool for large-scale analysis by abstract interpretation to detect, or prove the absence of, certain run-time… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations

Broader (1)

Abstract interpretation
Dangling pointerDivision by zeroFluctuatFormal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Towards an automated tool for software testing and analysis
Inclination of the world towards automated applications has made software testing a vital part of software development. Two most… 
2014
2014
Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code
This paper motivates the use of automatic heavy-weight static analysis tools to find bugs in C (and C++) code for safety-critical… 
2011
2011
Software Robustness with Regards to Dysfunctional Values from Static Analysis
– it introduces the use of a formal method during the software development phase instead of the specification phase. The standard… 
Review
2011
Review
2011
Software Tool Qualification According to ISO 26262 2011-01-1005 Published 04 / 12 / 2011
International standards that define requirements for the development of safety-related systems typically also define required… 
Review
2010
Review
2010
Qualifying Software Tools According to ISO 26262
The growing adoption of safety standards in the automotive industry results in an increasing interest in as well as an increasing… 
2010
2010
Software Tool Qualification According to ISO 26262 An Experience Report
International standards that define requirements for the development of safety-related systems typically also define required… 
2009
2009
A term-rewriting characterization of PSPACE
Isabel Oitavem has introduced a term rewriting system (TRS) which captures the class FPS of polynomial-space computable functions… 
2007
2007
Practical strategies to improve test efficiency
2007
2007
Checking Memory Safety with Abstract Interpretation and Deductive Verification ⋆
We propose an original approach for checking memory safety of C pointer programs, by combining deductive verification and… 
2000
2000
Linear logical characterization of polyspace functions
Light Linear Logic (LLL) of [Gir95] characterizes the polytime functions through a careful handling of structural inference rules… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)