sir, i am doing my pg project using PVS. i have to use array concept in this specification|
in PVS i defined array as follows.
arr: TYPE= [conf_unsigned16 ,[conf_short_int->elem]]
i have to give initial values to this array.
i gave values as follows.
(10,(lambda i: if i=0 then 1 elsif i=1 then 3 elsif i=2 then 2 elsif i=3 then 4 ............ else 0)).
i want to know whether it is correct or not.
is there any other methods for giving initial values. please help.
http://windows.microsoft.com/shop Find the right PC for you.