![photo](/responsive_image/150/150/0/0/0/cache/matlabcentral/profiles/3080618_1523972344816_DEF.jpg)
Luis Blanco Abruña
Followers: 0 Following: 0
Statistics
RANK
275 113
of 293 485
REPUTATION
0
CONTRIBUTIONS
5 Questions
0 Answers
ANSWER ACCEPTANCE
20.0%
VOTES RECEIVED
0
RANK
of 20 033
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Feeds
Question
Disable some (specific) orange checks in Code Prover
Hello, I would like to know if it's possible to disable some specific orange checks in the Polyspace Code Prover execution (may...
ungefär 2 år ago | 1 answer | 0
1
answerQuestion
Problems to execute qualkitdo_codeproverserver on Centos 7
Hello, I am trying to run the qualkitdo_codeproverserver_tcp.sh to Polyspace Code Prover R2021a on Centos 7, but I have had t...
mer än 2 år ago | 0 answers | 0
0
answersSolved
Times 2 - START HERE
Try out this test problem first. Given the variable x as your input, multiply it by two and put the result in y. Examples:...
mer än 2 år ago
Question
strange identifier strings in Embedded Coder generation
Hello everybody, When I generate code for a Simulink Model (Model.slx) I obtain in the file "Model.h" several C-structs with w...
mer än 5 år ago | 0 answers | 0
0
answersQuestion
MISRA-C-2012
I generate code with Embedded Coder with the objective of MISRA-C-2012 (It is the only 'generation objective' I set in this gene...
mer än 5 år ago | 1 answer | 0
1
answerQuestion
simEvents cache model and simulation
I would like to simulate with simEvents the behaviour of a Cache memory or MMU in low level. Is there any example where I can ...
mer än 5 år ago | 1 answer | 0