Dinesh Kumar

自 2015 起处于活动状态

Followers: 0 Following: 0

统计学

排名
106,503
of 298,116

声誉
0

贡献数
4 个提问
0 个回答

回答接受率
0.0%

收到投票数
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 years 前 | 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 years 前 | 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 years 前 | 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 years 前 | 1 个回答 | 0

1

个回答