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

[PVS-Help] PVS theory for C strings?



Does a (published) PVS theory already exist for dealing with C strings?

Thanks for any help,
Ben Hocking
ben.hocking@xxxxxxxxxxxxxxxxxxxxxxx



Attachment: smime.p7s
Description: S/MIME cryptographic signature