Try Microsoft Edge
A fast and secure browser that's designed for Windows 10
July 7, 2008
We describe a method for synthesizing reasonable underapproximations to weakest preconditions for termination—a long-standing open problem. The paper provides experimental evidence to demonstrate the usefulness of the new procedure.