Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-8 de um total de 8 resultados (tempo de pesquisa: 0.016 segundos).
DataTítuloAutor(es)TipoAcesso
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio; Pinto, Jorge SousaResumo em ata de conferência Acesso aberto
2013Using abstract interpretation to produce dependable aerospace control softwareSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi; Oliveira, José M. Parente; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2010Model-checking temporal properties of real-time HTL programsCarvalho, André Ribeiro de; Carvalho, Joel; Pinto, Jorge Sousa; Sousa, Simão Melo deArtigo em ata de conferênciaAcesso aberto
2012An approach to model checking Ada programsFaria, José Miguel; Martins, J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
Set-2016Formal verification with Frama-C: a case study in the space software domainSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi; Oliveira, Jose Maria Parente de; Pinto, Jorge SousaArtigoAcesso restrito UMinho
2012Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe; Pinto, Jorge SousaResumo em ata de conferência Acesso aberto
Mai-2021A deductive reasoning approach for database applications using verification conditionsAlam, Imran; Halder, Raju; Pinto, Jorge SousaArtigoAcesso restrito UMinho
2014CAOVerif: an open-source deductive verification platform for cryptographic software implementationsAlmeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe; Pinto, Jorge Sousa; Vieira, Bárbara Isabel SousaArtigoAcesso aberto
1-8 de um total de 8 resultados (tempo de pesquisa: 0.016 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir