FRAME Lab.

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

Niterói, Brazil

Pinned Repositories

blockchain-smv-model
Language:Python1 1 00
CACoq
Language:Coq10
diagrammatic-proof-service
00
interoperaNit
Protótipo para interoperabilidade de dados na nuvem
Language:JavaScript1 2 00
miniC-pdl
Compilador de um subconjunto de C para pdl para verificação com o nuxmv
Language:C2 2 01
Reo2nuXmv
Language:C2 1 01
ReoLaTeX
LaTeX package for drawing Reo connectors
Language:TeX0 2 00
ReoXplore
Web-based graphical editor for Reo language
Language:JavaScript2 1 01
ReoXplore2
Language:Coq11
Verificador-de-Smart-Contracts
Verificação de smart contracts em modelos formais de Blockchain utilizando lógica dinâmica
Language:Python1 3 02

FRAME Lab.'s Repositories

frame-lab/miniC-pdl
Compilador de um subconjunto de C para pdl para verificação com o nuxmv
Language:C2 2 01
frame-lab/Reo2nuXmv
Language:C2 1 01
frame-lab/ReoXplore
Web-based graphical editor for Reo language
Language:JavaScript2 1 01
frame-lab/blockchain-smv-model
Language:Python1 1 00
frame-lab/CACoq
Language:Coq10
frame-lab/interoperaNit
Protótipo para interoperabilidade de dados na nuvem
Language:JavaScript1 2 00
frame-lab/ReoXplore2
Language:Coq11
frame-lab/Verificador-de-Smart-Contracts
Verificação de smart contracts em modelos formais de Blockchain utilizando lógica dinâmica
Language:Python1 3 02
frame-lab/CA2PDL
Language:C0 3 00
frame-lab/diagrammatic-proof-service
00
frame-lab/ds3_compiler
Language:Python0 1 00
frame-lab/Ecumenical-Poly
Language:Coq0 2 00
frame-lab/ReoLaTeX
LaTeX package for drawing Reo connectors
Language:TeX0 2 00
frame-lab/ReoLogicCoq
A logic to reason about Reo circuits implemented in Coq
Language:Coq0 2 00
frame-lab/tdsRepLanguage
A high-level language used to represent data streams for Reo connectors.
Language:C0 1 00
frame-lab/CtoPDLCompiler
2018 project in UFF- Universidade Federal Fluminense
frame-lab/diagrammatic-proof-front
frame-lab/proof-classifier