Soft contract verification
Phúc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn · 2014
Behavioral software contracts are a widely used mechanism for governing the flow of values between components. However, run-time monitoring and enforcement of contracts imposes significant overhead and delays discovery of faulty components to run-time.