[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?


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