Percorrer por assunto Deductive verification
Mostrar 1-4 de um total de 4 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2014 | CAOVerif: an open-source deductive verification platform for cryptographic software implementations | Almeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe, et al. | Artigo | Acesso aberto |
8-Jun-2018 | A generalized approach to verification condition generation | Belo Lourenco, Claudio; Frade, M. J.; Nakajima, Shin, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
2012 | Verification conditions for single-assignment programs | Cruz, Daniela da; Frade, M. J.; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso restrito UMinho |
11-Abr-2022 | Verification of distributed algorithms with the Why3 tool | Cruz, Carla Isabel Novais | Dissertação de mestrado | Acesso aberto |