Under-approximating loops in C programs for fast counterexample detection. | Form Methods Syst Des;47: 75-92, 2015. | MEDLINE

Conteúdo principal 1 Busca 2 Rodapé 3

+A A -A Alto contraste

Biblioteca Virtual em Saúde

Saúde Pública Brasil

Localizar descritor de assunto Busca Avançada

Under-approximating loops in C programs for fast counterexample detection.

Kroening, Daniel; Lewis, Matt; Weissenbacher, Georg.

Afiliação

Kroening D; University of Oxford, Oxford, UK.
Lewis M; University of Oxford, Oxford, UK.
Weissenbacher G; Vienna University of Technology, Vienna, Austria.

Form Methods Syst Des ; 47: 75-92, 2015.

Article em En | MEDLINE | ID: mdl-26900259

Palavras-chave

Counterexamples; Loop acceleration; Model checking; Underapproximation

Buscar no Google

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Tipo de estudo: Diagnostic_studies Idioma: En Ano de publicação: 2015 Tipo de documento: Article

Buscar no Google

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Tipo de estudo: Diagnostic_studies Idioma: En Ano de publicação: 2015 Tipo de documento: Article