Community Profile

photo

hrishikesh rajurkar


Last seen: alrededor de 1 año ago Active since 2021

Statistics

  • Thankful Level 1

View badges

Content Feed

View by

Question


Polysapce code prover C justifications
Hello Members, I am running polyspace code prover R2019B for C with configuration as source code : c version :c11 compiler:gnu7...

más de 1 año ago | 1 answer | 0

1

answer