Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 53 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J.; Pinto, Jorge SousaResumo em ata de conferência Acesso aberto
2004Point-free program transformationCunha, Alcino; Pinto, Jorge SousaRelatórioAcesso aberto
2008Visual programming with Interaction NetsHassan, Abubakar; Mackie, Ian; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2012A case study on model checking and deductive verification techniques of safety-critical softwareSilva, Rovedy Aparecida Busquim e; Oliveira, José Manuel Parente de; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2014Towards a runtime verification framework for the Ada Programming LanguagePedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2010GamaSlicer : an online laboratory for program verification and analysisCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2014Formal verification of kLIBC with the WP frama-C plug-inCarvalho, Nuno; Sousa, Cristiano da Silva; Pinto, Jorge Sousa; Tomb, AaronArtigo em ata de conferênciaAcesso aberto
2009Verifying cryptographic software correctness with respect to reference implementationsAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraArtigo em ata de conferênciaAcesso aberto
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2019A generalized program verification workflow based on loop elimination and SA formBelo Lourenco, Claudio; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 53 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir