Resultados de la búsqueda a petición "promela"
¿Cómo comparar dos LTL?
¿Cómo puedo comparar dos LTL para ver si uno puede contradecirse? Pregunto esto porque tengo una máquina de estados jerárquica y LTL que describen el comportamiento en cada estado. Necesito saber si un LTL local puede contradecir un LTL global. ...
¿Cómo transformar LTL en Automato en Promela - SPIN?
¿Cómo puedo transformar, rm LTL en Automata en PROMELA? Sé que con el comando SPIN -f "ltl x" es posible transformar el LTL en un reclamo ininterrumpido, pero quiero los autómatas del LTL y no el de negación. Es correcto si niego el LTL antes ...
secuencias atómicas en Promela. Contradictorio en la documentación.
Aquí,http://spinroot.com/spin/Man/Manual.html [http://spinroot.com/spin/Man/Manual.html], está escrito que: En Promela también hay otra forma de evitar la prueba y establecer el problema: las secuencias atómicas. Al prefijar una secuencia de ...