Community Profile

photo

Lenin Nelson


Last seen: 2 months ago |  Active since 2017

Followers: 0   Following: 0

Statistics

Feeds

View by

Question


How to suppress correctness condition
Pointer does point to a valid function. option which should be enabled\disabled to overcome the error.

6 years ago | 1 answer | 0

1

answer

Question


polyspace 2012b critical section
In Polyspace R2012b what is the use of critical section ? How PS verifies it in the code? If the critical section is called ...

6 years ago | 1 answer | 0

1

answer