1. A method comprising: storing a compound software code in a memory connect to a central processing unit (CPU) adapted to execute the compound software code, the compound software code being divided into modules; verifying that the compound software code implements a first property by verifying one or more second properties of the modules using an enhanced verification procedure to demonstrate that the modules manifest the one or more second properties and to transform the modules into verified code bases (VCBs), each VCB having an operational model, the enhanced verification procedure including (i) generating an executable of the operational model of a corresponding VCB, (ii) capturing a state dump of the executable of the operational model, (iii) capturing a corresponding state dump of an executable of the corresponding VCB, and (iv) iteratively comparing states of the executable of the operational model and the executable of the corresponding VCB until a predetermined number of the states match, wherein the predetermined number of matched states correspond to a predetermined level of confidence that a respective second property is implemented by the corresponding VCB; and executing services of the VCBs on the CPU in combination to provide functionality of the compound software code using interfaces.