FRAME Lab.

FRAME Lab.'s repositories

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

Language:C2 20

Language:C2 10

Web-based graphical editor for Reo language

Language:JavaScript2 10

Language:Python1 10

Language:CoqGPL-3.0100

Protótipo para interoperabilidade de dados na nuvem

Language:JavaScript100

Language:CoqMIT100

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

Language:Python100

Language:C030

000

Language:Python010

Language:Coq000

LaTeX package for drawing Reo connectors

Language:TeXMIT020

A logic to reason about Reo circuits implemented in Coq

Language:Coq020

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

Language:C010

2018 project in UFF- Universidade Federal Fluminense

000

000

000