Shrikant Lahane

Last seen: 3 years 前 | 自 2020 起处于活动状态

Followers: 0 Following: 0

统计学

Feeds

提问

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

3 years 前 | 0 个回答 | 0

0

个回答

提问

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

3 years 前 | 1 个回答 | 0

1

个回答