Artículo.
conjunto de conceptos de un lenguaje de definición de arnés que son conceptualmente simples de usar, pero lo suficientemente poderosos para apoyar la verificación de una amplia variedad de SUV; 2) Mostramos cómo estas construcciones están codificadas en Promela para derivar modelos de entorno