photo

Deenadayalan KRISHNAMURTHY


Last seen: 5개월 전 |  2018년부터 활동

Followers: 0   Following: 0

통계학

  • First Answer

배지 보기

Feeds

보기 기준

답변 있음
Please i recive the following message "No licence avalaible for Polyspace C COP product''? After enter the product'' license of MATLAB 2020a?
Follow the below steps: 1) From the help window see if your Polyspace license is correctly activated. If the activation is done...

대략 2년 전 | 0

질문


error while writing intermediate language file
What doe sthe error "error while writing intermediate language file : Invalid arguement?" This happened at the end of polys...

5년 초과 전 | 답변 수: 0 | 0

0

답변

질문


Why is it not possible to configure "long" data type as 64bits in Polyspace Code Prover?
I have a project which has "*_long_*" data type to be taken as 64 bits. But in polyspace this is not becoming possible. Polyspa...

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

0

답변