Use this tag with verification that can be either static or dynamic. For a narrower definitions use `static-verification` or `formal-verification`.
Use this tag with verification that can be either static or dynamic. For a narrower definitions use `static-verification` or `formal-verification`.