photo

Shrikant Lahane


Last seen: más de 3 años hace Con actividad desde 2020

Followers: 0   Following: 0

Estadística

Feeds

Ver por

Pregunta


Can we simulate the NvM_WriteBlock() in the code prover ?
Hello I doing the static analysis of an autosar project. I have configured NVM_SINGLE_BLOCK_CALLBACK for the NvM_WriteBlock() ...

más de 3 años hace | 0 respuestas | 0

0

respuestas

Pregunta


What are badly-typed functions in polyspace code prover 2016b ?

casi 4 años hace | 1 respuesta | 0

1

respuesta