Una máquina de estado finito virtual es una máquina de estados finitos (FSM) definida en un entorno virtual. El concepto VFSM proporciona un método de especificación de software para describir el comportamiento de un sistema de control que utiliza nombres asignados de propiedades de control de entrada y de acciones de salida.
El método VFSM introduce un modelo de ejecución y facilita la idea de una especificación ejecutable. Esta tecnología se utiliza principalmente en aplicaciones complejas de control de máquinas, instrumentación y telecomunicaciones.