Polyspace (English Wikipedia)

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

Last modified: 16:45:14, 22 July 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

43web.archive.org

1^st place

1^st place

33mathworks.com

low place

9,012^th place

4,224^th place

2,761^st place

5,695^th place

3,441^st place

885^th place

584^th place

2^nd place

2^nd place

11hdl.handle.net

66^th place

34^th place

low place

low place

low place

low place

doi.org (Global: 2^nd place; English: 2^nd place)

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 (Global: 4,224^th place; English: 2,761^st place)

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 (Global: low place; English: low place)

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 (Global: low place; English: low place)

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.

hdl.handle.net (Global: 66^th place; English: 34^th place)

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 (Global: low place; English: 9,012^th place)

mathworks.com

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

in.mathworks.com

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

toyota.com (Global: 5,695^th place; English: 3,441^st place)

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 (Global: 885^th place; English: 584^th place)

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 (Global: 1^st place; English: 1^st place)

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.