Community Profile

photo

Dinesh Kumar


Con actividad desde 2015

Followers: 0   Following: 0

Estadísticas

Feeds

Ver por

Pregunta


In Polyspace (R2014a) all functions are UNP
Why there are several files(C++) has its all methods/Functions "UNP" in my report(.rtf)? What are the settings I need to do ino...

más de 8 años hace | 1 respuesta | 0

1

respuesta

Pregunta


Polypspace(R2014a) code prover report shows "NA"?
Why does rtf report of Polypspace(R2014a) code prover shows "NA" for some some of the files in column "proven" of the table "Cha...

más de 8 años hace | 1 respuesta | 0

1

respuesta

Pregunta


Verification time limit in Polyspace( R2014a)
What does verification time limit configuration means in Polyspace R2014a? How does it impacts the analysis?

más de 8 años hace | 1 respuesta | 0

1

respuesta

Pregunta


Green color code in Polyspace(R2014a) report
What is the meaning of Green color in the polyspace report. I see there are some of my files has no other error(Red,Orange and ...

más de 8 años hace | 1 respuesta | 0

1

respuesta