photo

Dinesh Kumar


2015년부터 활동

Followers: 0   Following: 0

통계학

Feeds

보기 기준

질문


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...

거의 9년 전 | 답변 수: 1 | 0

1

답변

질문


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...

거의 9년 전 | 답변 수: 1 | 0

1

답변

질문


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

거의 9년 전 | 답변 수: 1 | 0

1

답변

질문


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 ...

거의 9년 전 | 답변 수: 1 | 0

1

답변