Artículo.
definimos la instrucción de varios pasos que se traduce en Promela copiando el cuerpo N veces. El número de iteración se registra para facilitar la comprensión del testigo. Ver la Sección 5.3 para una aplicación concreta. Conceptos adicionales. Además de los conceptos enumerados anteriormente, el