multi-layer design with built-in verification in each layer (cf. unit-testing/integration testing/black-box testing etc. in programming practice) to avoid having to validate all possible combinations of elementary inputs.
Isn’t that what transparent formal verification is? Being aware of the structure of the system, prove that each component does what it’s supposed to, then prove that the combination does what it’s supposed to given that the components do. You have to have transparent access to the structure of the system and the behavior of the sub components to do this.
Isn’t that what transparent formal verification is? Being aware of the structure of the system, prove that each component does what it’s supposed to, then prove that the combination does what it’s supposed to given that the components do. You have to have transparent access to the structure of the system and the behavior of the sub components to do this.
Is it? I have never seen a software system that is as easy or easier to verify than to build.