[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] help - for modelling arrays
Sujith: Can you be more specific about the problems you're facing?
How are you trying to define the procedure call semantics?
-Shankar
sujith cs <cs_sujith@hotmail.com> wrote:
>
> I am facing problems while modelling arrays and procedure calls of C
> language in PVS, any help in this regard will be highly appreciated.
>
> sujith
>
> -------------------------------------------------------------------------------
> One peek at MSN India brings you up to speed with what's hot in the world today
> Drag n' drop