![photo](/responsive_image/150/150/0/0/0/cache/matlabcentral/profiles/8452873_1590041191444_DEF.jpg)
Shaku kaa
Followers: 0 Following: 0
Estadística
15 Preguntas
0 Respuestas
CLASIFICACIÓN
11.412
of 292.690
REPUTACIÓN
4
CONTRIBUCIONES
15 Preguntas
0 Respuestas
ACEPTACIÓN DE RESPUESTAS
6.67%
VOTOS RECIBIDOS
4
CLASIFICACIÓN
of 19.933
REPUTACIÓN
N/A
EVALUACIÓN MEDIA
0.00
CONTRIBUCIONES
0 Archivos
DESCARGAS
0
ALL TIME DESCARGAS
0
CLASIFICACIÓN
of 147.839
CONTRIBUCIONES
0 Problemas
0 Soluciones
PUNTUACIÓN
0
NÚMERO DE INSIGNIAS
0
CONTRIBUCIONES
0 Publicaciones
CONTRIBUCIONES
0 Público Canales
EVALUACIÓN MEDIA
CONTRIBUCIONES
0 Temas destacados
MEDIA DE ME GUSTA
Feeds
Pregunta
Is it possible to compare 2 DRS files
Hi i want to compare 2 DRS files of different ranges of variables. Is there any way to compare these 2 DRS files? thanks in...
más de 7 años hace | 1 respuesta | 0
1
respuestaPregunta
How DRS affects list of checks?
After adding DRS, no. of Green & orange checks got reduced but, gray check got increased . in our source file no. of green chec...
más de 7 años hace | 0 respuestas | 0
0
respuestasPregunta
How to skip compilation after applying DRS to observe the change in the result?
each time when i modified DRS & give for a run Polyspace again compiles it & goes in intermediate & then to level 0,1,2,3.Is it ...
más de 7 años hace | 0 respuestas | 0
0
respuestasPregunta
Comparing 2 Polyspace code prover Results
i have run polyspace for 2 different configuration settings.i want to compare these configuration's results .Is it possible to c...
más de 7 años hace | 1 respuesta | 0
1
respuestaPregunta
internal error:incorrect file
After double clicking on the Verified Results ...Polyspace is not showing the results ...instead it is telling "INTERNAL ERROR:I...
más de 7 años hace | 0 respuestas | 0
0
respuestasPregunta
Define as Not called by generated main
What is actually polyspace doing when we define a file as not called by generated main. sometimes when i select this the result...
más de 7 años hace | 0 respuestas | 0
0
respuestasPregunta
which are the files hold the justification comments in polyspace code prover.
I want to know the list of files which carries the justification comments which are visible in the report.if i know the files na...
más de 7 años hace | 0 respuestas | 1
0
respuestasPregunta
difference between code prover & bug finder
what are the differences between POLYSPACE code prover & Bug finder.which one is suitable for development process ?
más de 7 años hace | 2 respuestas | 3
2
respuestasPregunta
Stubbed function range specification
Was Getting full range for a Function(returns a Float data type range ) .But, wanted to set min. & max. value for that function....
más de 7 años hace | 0 respuestas | 0
0
respuestasPregunta
Customizing Polyspace Code Prover Report
Right now Polyspace giving the information about all the files which we added initially.But, POlyspace is not using all the fil...
casi 8 años hace | 1 respuesta | 0
1
respuestaPregunta
How to Customize Polyspace code prover Report?
I want to have a report having error details for some of the files used in polyspace code prover verification. Thanks in adva...
casi 8 años hace | 1 respuesta | 0
1
respuestaPregunta
Boolean conditions in DRS of POlyspace code prover
i want to indiacate FALSE and TRUE for a constant/calibration in a Polyspace code prover's Data Range Specification... how to d...
casi 8 años hace | 1 respuesta | 0
1
respuestaPregunta
How is this DRS (Data Range Specification )in Polyspace code prover is generated?
hi, i want to know how this DRS in Polyspace Code Prover is generated. In my code , i have Global Variable of array size 8 but...
casi 8 años hace | 2 respuestas | 0
2
respuestasPregunta
How to add array to constants in Polyspace Code Prover ?
In our code we have constants and calibration and it’s values are defined in .cpp file. When we run code prover, its creat...
casi 8 años hace | 0 respuestas | 0
0
respuestasPregunta
how can i add arrays to a constant in Polyspace code prover
Polyspace code prover creating functions for constant and calibration in main generated by polyspace . we have details of thes...
casi 8 años hace | 0 respuestas | 0