Software 1.0 easily automates what you can specify. Software 2.0 easily automates what you can verify.

Software 1.0 easily automates what you can specify. Software 2.0 easily automates what you can verify.