testing process. Formal methods allow for the analysis