Complex sentence: PD supports the Verified Design by Contract paradigm, which is an extension of Design by contract in which the contracts are verified by static analysis and automated theorem proving, so that it is certain that they will not fail at runtime.
Split into simpler sentences: PD supports the Verified Design by Contract paradigm, which is an extension of Design by contract. In Verified Design by Contract, the contracts are verified by static analysis and automated theorem proving, so that it is certain that they will not fail at runtime.