Imran Ahmed
Followers: 0 Following: 0
Statistics
2 Questions
0 Answers
RANK
29,937
of 289,720
REPUTATION
1
CONTRIBUTIONS
2 Questions
0 Answers
ANSWER ACCEPTANCE
50.0%
VOTES RECEIVED
0
RANK
of 19,580
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 144,093
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Accept 1 answer given by other contributors
Awarded to Imran Ahmed on 23 Aug 2019
Feeds
Question
Can I exclude utility functions generated by rtw coder 2015b from static analysis?
Can I exclude utility functions such as asr_s32(), multiword_s32(), etc generated by rtw coder 2015b from polyspace code prover ...
4 years ago | 1 answer | 0
1
answerQuestion
How to generate Polyspace project options into a text file from an already existing Polyspace project in Polyspace Code Prover 2016b?
Can anyone please specify the syntax, how and where to use the command to do the above specified function.
4 years ago | 1 answer | 0
1
answer
You can also select a web site from the following list
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)