photo

Luis Blanco Abruña


Last seen: 3개월 전 |  2019년부터 활동

Followers: 0   Following: 0

통계

All
  • Solver
  • Thankful Level 1

배지 보기

Feeds

보기 기준

질문


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

2년 초과 전 | 답변 수: 1 | 0

1

답변

질문


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

거의 3년 전 | 답변 수: 0 | 0

0

답변

문제를 풀었습니다


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

대략 3년 전

질문


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

거의 6년 전 | 답변 수: 0 | 0

0

답변

질문


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

대략 6년 전 | 답변 수: 1 | 0

1

답변

질문


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

대략 6년 전 | 답변 수: 1 | 0

1

답변