Artículo.
simples tienden a ser prolijas. Los desarrolladores simplemente se asustan frente a esta complejidad (percibida). Falta de soporte IDE para combinar Promela y C. Actualmente no tenemos conocimiento de los IDE que permiten la definición de los modelos Promela y su integración con el código C del