Skip to content
@frame-lab

FRAME Lab.

Formal methods, artificial intelligence, and logic in computer science (@ IC/UFF)

Popular repositories Loading

  1. ReoXplore ReoXplore Public

    Forked from ReoLanguage/reo-graphical-editor

    Web-based graphical editor for Reo language

    JavaScript 2 1

  2. Reo2nuXmv Reo2nuXmv Public

    Forked from Daniel-02/Reo2nuXmv

    C 2 1

  3. miniC-pdl miniC-pdl Public

    Compilador de um subconjunto de C para pdl para verificação com o nuxmv

    C 2 1

  4. CACoq CACoq Public

    Coq 1

  5. blockchain-smv-model blockchain-smv-model Public

    Forked from brunoolimpio/blockchain-smv-model

    Python 1

  6. Verificador-de-Smart-Contracts Verificador-de-Smart-Contracts Public

    Verificação de smart contracts em modelos formais de Blockchain utilizando lógica dinâmica

    Python 1 2

Repositories

Showing 10 of 18 repositories
  • ReoXplore2 Public
    Coq 1 MIT 1 0 0 Updated Sep 23, 2024
  • proof-classifier Public
    0 0 0 0 Updated Sep 27, 2023
  • interoperaNit Public

    Protótipo para interoperabilidade de dados na nuvem

    JavaScript 1 0 0 0 Updated Sep 12, 2023
  • Ecumenical-Poly Public
    Coq 0 0 0 0 Updated Mar 28, 2023
  • CACoq Public
    Coq 1 GPL-3.0 0 0 0 Updated Jan 27, 2023
  • ReoXplore Public Forked from ReoLanguage/reo-graphical-editor

    Web-based graphical editor for Reo language

    JavaScript 2 3 0 13 Updated Jan 7, 2023
  • diagrammatic-proof-front Public
    0 0 0 0 Updated Sep 1, 2022
  • diagrammatic-proof-service Public
    0 0 0 0 Updated Sep 1, 2022
  • Verificador-de-Smart-Contracts Public

    Verificação de smart contracts em modelos formais de Blockchain utilizando lógica dinâmica

    Python 1 2 0 0 Updated Jul 21, 2022
  • tdsRepLanguage Public Forked from mttorres/tdsRepLanguage

    A high-level language used to represent data streams for Reo connectors.

    C 0 1 0 0 Updated Sep 30, 2021
View all repositories