1. A method comprising: verifying a security property for an operational model of a code base adapted for deployment in a node of a network, the security property specifying that modules of the code base are immutable to prevent alteration of a state related to security of the code base, wherein the operational model specifies a behavior of the code base as modeled in a functional programming language; generating an executable of the operational model; initiating a state dump of the executable operational model; initiating a corresponding state dump of the code base; iteratively comparing the states of the executable operational model and the code base; and continuing iterative comparison of the states of the executable operational model and the code base until a predetermined number of the states match, wherein the predetermined number of matched states correspond to a predetermined level of confidence that the security property is implemented by the code base.