Patents - George Necula

Safe to execute verification of software
George C. Necula and Peter Lee
U.S. Patent 6,128,774. October 2000