1. A method for evaluating a validation vector, comprising: receiving a network comprising a plurality of nodes, the network associated with a target set comprising one or more nodes of the plurality of nodes; repeating the following until the one or more nodes of the target set have been selected to yield one or more validation vectors: selecting a node from the target set; assigning a tag to the node, the tag representing an error of a value of a variable corresponding to the node; generating a test environment specifying a propagation path from an input, through the node, and to an output; translating the test environment into a validation vector; and propagating the tag to the output according to the validation vector; and determining coverage for the one or more validation vectors in accordance with the propagation to evaluate the one or more validation vectors.