Now showing items 1-1 of 1

    • Verificación utilizando Dynamite de la corrección del modelo Chord 

      Dantur, Juan Pablo; Ocamica, Santiago (2019-08-12)
      "La herramienta Dynamite permite traducir modelos formales realizados en el lenguaje de modelado Alloy en teorías del demostrador semiautomático PVS, pero no fue probado con modelos tan complejos como un modelo completo ...