[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