Polyspace (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Polyspace" in English language version.

refsWebsite

Global rank English rank

3web.archive.org

1^st place

1^st place

6,214^th place

4,509^th place

3,722^nd place

2,509^th place

782^nd place

585^th place

2^nd place

2^nd place

102^nd place

76^th place

3,960^th place

2,480^th place

low place

low place

low place

low place

doi.org

Brat, Guillaume (2004). "Experimental Evaluation of Verification and Validation Tools on Martian Rover Software". Formal Methods in System Design. 25 (2/3): 167–198. doi:10.1023/B:FORM.0000040027.28662.a4. hdl:2060/20040010327.

eetimes.com

Pele, Anne-Francoise (2007-04-25). "The Mathworks acquires PolySpace Technologies". EETimes. Archived from the original on 2012-02-11. Retrieved 2010-08-13.
Pelé, Anne-Françoise (2007-04-25). "The Mathworks acquires PolySpace Technologies". EE Times. Retrieved 2024-07-12.

embedded.com

Jones, Paul; Jetley, Raoul; Abraham, Jay (2010-02-09). "A Formal Methods-based verification approach to medical device software analysis". Embedded Systems Design. Retrieved 2010-08-16.

emis.de

subs.emis.de

Wissing, Klaus (2007-09-27). "Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors" (PDF). Workshop on Applied Program Analysis. Retrieved 2010-08-13.

handle.net

hdl.handle.net

Brat, Guillaume (2004). "Experimental Evaluation of Verification and Validation Tools on Martian Rover Software". Formal Methods in System Design. 25 (2/3): 167–198. doi:10.1023/B:FORM.0000040027.28662.a4. hdl:2060/20040010327.

mathworks.com

mathworks.com

The MathWorks - Polyspace - Requirements
MathWorks: static code analysis.

in.mathworks.com

"Software Metrics-MATLAB". India: MathWorks. Retrieved 2015-08-27.

toyota.com

pressroom.toyota.com

Exponent (2012-09-24). "Exponent's Investigation of Toyota ETCS-i Vehicle Hardware and Software". Exponent. Archived from the original on 2014-07-27. Retrieved 2010-09-07.

ucla.edu

nesl.ee.ucla.edu

Deutsch, Alain (2003-11-27). "Static Verification of Dynamic Properties" (PDF). Polyspace Technologies. Archived from the original (PDF) on 2012-03-13. Retrieved 2014-05-17.

web.archive.org

Pele, Anne-Francoise (2007-04-25). "The Mathworks acquires PolySpace Technologies". EETimes. Archived from the original on 2012-02-11. Retrieved 2010-08-13.
Deutsch, Alain (2003-11-27). "Static Verification of Dynamic Properties" (PDF). Polyspace Technologies. Archived from the original (PDF) on 2012-03-13. Retrieved 2014-05-17.
Exponent (2012-09-24). "Exponent's Investigation of Toyota ETCS-i Vehicle Hardware and Software". Exponent. Archived from the original on 2014-07-27. Retrieved 2010-09-07.