Evaluation of the CFA Test Programs Via Formal Computer Descriptions | IEEE Journals & Magazine | IEEE Xplore