Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-9 de um total de 9 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
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
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
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
Set-2015Monitoring for a decidable fragment of MTL-∫Pedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2012Verification conditions for single-assignment programsCruz, Daniela da; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
2014A compositional monitoring framework for hard real-time systemsPedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2016Formalizing Single-Assignment Program Verification: An Adaptation-Complete ApproachLourenco, Claudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
2015Studying verification conditions for imperative programsLourenço, Cláudio Filipe Belo Silva; Lamraoui, Si-Mohamed; Nakajima, Shin; Pinto, Jorge SousaArtigoAcesso aberto
1-9 de um total de 9 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir