Formal Specification and Verification of the pGVT Algorithm.

Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey

Browse the full FM paper archive.