This paper presents the latest developments in the “Formal Methods in ConformanceTesting” (FMCT) project of ISO and ITU–T. The project has been initiated to studythe role of formal description techniques in the conformance testing process. The goalis to develop a standard that defines the meaning of conformance in the context of formaldescription techniques. We give an account of the current status of FMCT in thestandardization process as well as an overview of the technical status of the proposedstandard. Moreover, we indicate some of its strong and weak points, and we give somedirections for future work on FMCT.