photo

Andrea F.


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

Followers: 0   Following: 0

메시지

통계학

Feeds

보기 기준

질문


Polyspace Code Prover server migration
Hello all, I need to migrate the Polyspace server to another physical machine. What's the best way to migrate the Code Prover...

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

0

답변

질문


Polyspace configuration: orange check
Hi, I'm trying to perform Polyspace Auytomatic Oragen Tester (AOT) using |-automatic-orange-tester| option, but on starting I g...

6년 초과 전 | 답변 수: 1 | 0

1

답변