Method and apparatus for analyzing computer code using weakest precondition Application US-6029002-A United States of America 22 Feb 2000
Method and apparatus for statically analyzing a computer program for data dependencies Grant US-5987252-A United States of America 16 Nov 1999
Process and tool for scalable automated data field replacement Application US-5838979-A United States of America 17 Nov 1998