A technique for verifying program equivalence by representing multiple equivalent forms in a graph structure.