Formal Verification and Design for Test — ActGen