A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Efficient Forward Model Checking Algorithm for ω-Regular Properties Algoritmo eficiente de verificação de modelo direto para propriedades ω-regulares

Hiroaki IWASHITA, Tsuneo NAKATA

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Apresentamos um algoritmo de verificação de vazio de linguagem simbólica baseado na travessia de estado direto. Uma propriedade de verificação é dada por um conjunto de traços de erro escritos em expressão regular ω e é manipulada explicitamente como um gráfico de transição de estado não determinístico. O espaço de estados do modelo de design é percorrido implicitamente ao longo do gráfico explícito. Este método tem uma grande flexibilidade para controlar a passagem de estado no espaço de propriedades. Deve tornar-se uma boa estrutura de verificação incremental ou aproximada de propriedades ω-regulares.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E82-A No.11 pp.2448-2454
Data de publicação
1999/11/25
Publicitada
ISSN online
DOI
Tipo de Manuscrito
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Categoria

autores

Palavra-chave