Métodos formais algébricos para geração de invariantes

Métodos formais algébricos para geração de invariantes

Rachid Rebiha

TESE

Português

T/UNICAMP R242m

[Algebraic formal methods for invariant generation]

Campinas, SP : [s.n.], 2011.

192 p. : il.

Orientador: Arnaldo Vieira Moura

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação

Resumo: É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada...

Abstract: It is well-known that the automation and effectiveness of formal software verification of embedded or hybrid systems depends to the ease with which precise invariants can be automatically generated from source specifications. An invariant is a property that holds true at a specific...

Métodos formais algébricos para geração de invariantes

Rachid Rebiha


										

Métodos formais algébricos para geração de invariantes

Rachid Rebiha

    Exemplares