[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

PVS formalizations of C datatypes

Dear all,

I was using PVS and looking for PVS formalizations of the following C
datatypes :->

1. pointer
2. struct
3. array
4. union
5. double
6. float
7. char
8. int

If some one can direct me to already built libraries that give such
formalizations, then it will be very helpful to me.

thanks and regards,
Navneet Kataria