Spec-TRACER is neither a development tool nor a verification tool for airborne electronic hardware, thus, tool qualification is not needed. Tool assessment and qualification may vary from program to program. Always consult with the certification authority.