Artículo.
caso de falla es, especialmente cuando el código C está incrustado en el modelo de Promela, prolijo y difícil de entender. Por lo tanto, se requieren mecanismos de elevación adicionales que relacionen los pasos de la pista de error con las declaraciones en el arnés de verificación. 2.3 Abordando