Return to Article Details The Pointer Assertion Logic Engine Download Download PDF