Idioma:

4 Resultados para Busca Geral

Ordenado por: Ordenado por: Data mais antigaOr hit Enter to replace sort method

Refinado por: assunto: Model Checking

Result Number	Material Type	Record Details and Options
1	Material Type: Artigo	Verification of evolving software via component substitutability analysis Chaki, Sagar ; Clarke, Edmund ; Sharygina, Natasha ; Sinha, Nishant Formal methods in system design, 2008-06, Vol.32 (3), p.235-266 [Periódico revisado por pares] Boston: Springer US Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Artigo	Automated assumption generation for compositional verification Gupta, Anubhav ; McMillan, K. L. ; Fu, Zhaohui Formal methods in system design, 2008-06, Vol.32 (3), p.285-301 [Periódico revisado por pares] Boston: Springer US Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Artigo	Automatic analysis of DMA races using model checking and k-induction Donaldson, Alastair F. ; Kroening, Daniel ; Rümmer, Philipp Formal methods in system design, 2011-08, Vol.39 (1), p.83-113 [Periódico revisado por pares] Boston: Springer US Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo	SMT-based model checking for recursive programs Komuravelli, Anvesh ; Gurfinkel, Arie ; Chaki, Sagar Formal methods in system design, 2016-06, Vol.48 (3), p.175-205 [Periódico revisado por pares] Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por