Portal eduCapes: Buscando no repositório

Navegando por Assunto Verificação de modelos

Mostrando resultados 1 a 4 de 4

Integração de ferramentas para raciocínio sobre conectores Reo
Lopes, Bruno; Oliveira, Daniel Cardoso Moraes de; Santos, Jeferson de Barros
Ferreira, Mariana de Freitas
26-Jul-2022
★★★★★ (0)
Um compilador de circuitos Reo para modelos nuXmv
Lopes, Bruno; Carvalho, Aline Marins Paes; Santos, Jefferson de Barros
Toledo, Daniel Arena
15-Nov-2023
★★★★★ (0)
Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL
Rodrigues, Genaína Nunes
Galvão, Danilo José Bispo
13-Ago-2024
★★★★★ (0)
Verificação automática de programas utilizando Lógica Dinâmica com aplicações a smart contracts
Lopes, Bruno; Santos, Jefferson de Barros; Coelho, Igor Machado
Santana, Allan Patrick de Freitas
16-Jul-2021
★★★★★ (0)

Mostrando resultados 1 a 4 de 4