An implementation of a verification condition generator for foundational proof-carrying code.

Jiangong Weng, Amy P. Felty

Browse the full PST paper archive.