Data | Título | Autor(es) | Tipo | Acesso |
2010 | Assertion-based slicing and slice graphs | Barros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | Artigo em ata de conferência | Acesso aberto |
2012 | Assertion-based slicing and slice graphs | Barros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | Artigo | Acesso aberto |
2008 | A comparative study of verification condition generators | Fialho, Diogo; Pinto, Jorge Sousa | Outro | Acesso aberto |
Mai-2021 | A deductive reasoning approach for database applications using verification conditions | Alam, Imran; Halder, Raju; Pinto, Jorge Sousa | Artigo | Acesso restrito UMinho |
2010 | GamaSlicer : an online laboratory for program verification and analysis | Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |
2011 | Verification conditions for source-level imperative programs | Frade, M. J.; Pinto, Jorge Sousa | Artigo | Acesso aberto |
3-Abr-2023 | A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3 | Frade, M. J.; Pinto, Jorge Sousa | Artigo | Acesso aberto |