Showing 1 - 16 results of 16 for search '"All That"', query time: 0.06s Refine Results
  1. 1
    Part of book
    Order-Sorted Equality Enrichments Modulo Axioms
    Por Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo
    Published in 2012
    Repositorio Repositorio Institucional ECI

    “... E↦E≃ preserves all the just-mentioned properties of E . The transformation has been automated...”
    Get full text
  2. 2
    Part of book
    Proving Safety Properties of Rewrite Theories
    Por Rocha, Camilo; Meseguer, José
    Published in 2011
    Repositorio Repositorio Institucional ECI

    “... present a deductive approach for verifying safety properties of rewrite theories in which all formal...”
    Get full text
  3. 3
    Article of journal
    Rewriting modulo SMT and open system analysis
    Por Rocha, Camilo; Meseguer, José; Muñoz, César
    Published in 2016
    Repositorio Repositorio Institucional ECI

    Get full text
  4. 4
    Article of journal
    Rewriting Logic Semantics of a Plan Execution Language
    Por Dowek, Gilles; Muñoz, César; Rocha, Camilo
    Published in 2010
    Repositorio Repositorio Institucional ECI

    “... and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL...”
    Get full text
  5. 5
    Article of journal
    A formal library of set relations and its application to synchronous languages
    Por Rocha, Camilo; Muñoz, César; Dowek, Gilles
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  6. 6
    Part of book
    Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
    Por Cadavid, Héctor; Pérez, Alexander; Rocha, Camilo
    Published in 2017
    Repositorio Repositorio Institucional ECI

    “... presented in this paper, all formal analysis techniques and tools currently available to PLEXIL are now...”
    Get full text
    Get full text
  7. 7
    Trabajo de grado de pregrado
    Un procedimiento de decisión de reescritura de la lógica silogística de Dijkstra-Scholten con complementos
    Por Rocha, Camilo; Meseguer, José
    Published in 2007
    Repositorio Repositorio UNAB

    Get full text
  8. 8
    Trabajo de grado de pregrado
    Heurísticas de búsqueda de prueba automática en la herramienta de análisis invariante de maude
    Por Rocha, Camilo
    Published in 2013
    Repositorio Repositorio UNAB

    Get full text
  9. 9
    Conferencia (Ponencia)
    Simulation and Verification of Synchronous Set Relations in Rewriting Logic
    Por Rocha, Camilo; Múñoz, César
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  10. 10
    Part of book
    Tool Interoperability in the Maude Formal Environment
    Por Durán, Francisco; Rocha, Camilo; Álvarez, José María
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  11. 11
    Part of book
    A Graphical Environment for the Semantic Validation of a Plan Execution Language
    Por Rocha, Camilo; Muñoz, Cesar; Cadavid, Hector
    Published in 2009
    Repositorio Repositorio Institucional ECI

    Get full text
  12. 12
    Part of book
    Automatic proof-search heuristics in the Maude invariant analyzer tool
    Por Rocha, Camilo
    Published in 2013
    Repositorio Repositorio Institucional ECI

    Get full text
  13. 13
    Part of book
    A Formal Interactive Verification Environment for the Plan Execution Interchange Language
    Por Cadavid Rengifo, Hector Fabio; Rocha, Camilo; Muñoz, Cesar
    Published in 2012
    Repositorio Repositorio Institucional ECI

    Get full text
  14. 14
    http://purl.org/coar/resource_type/c_f744
    Theorem Proving Modulo Based on Boolean Equational Procedures
    Por Rocha, Camilo; Meseguer, José
    Published in 2008
    Repositorio Repositorio Institucional ECI

    Get full text
  15. 15
    Part of book
    A Formal Interactive Verification Environment for the Plan Execution Interchange Language
    Por Rocha, Camilo; Cadavid, Héctor; Siminiceanu, Radu
    Published in 2012
    Repositorio Repositorio Institucional ECI

    Get full text
  16. 16
    Part of book
    Towards a Maude Formal Environment
    Por Durán, Francisco; Rocha, Camilo; Álvarez, José María
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
Search Tools: Get RSS Feed — Email this Search