Checking Properties Of Software Static Safety Verification Dynamic Liveness Testing.
Using Types For Software Verification Ranjit Jhala, UC San Diego (with Pat Rondon, Ming Kawaguchi)