TIGA UPPAAL. Uppaal TIGA é uma extensão do uppaal e implementa o primeiro algoritmo eficiente em movimento para resolver jogos.
Baixe Agora

TIGA UPPAAL. Classificação e resumo

TIGA UPPAAL. Tag

Uppaal. Resolvendo Resolvendo jogos verificador de linha de comando Algoritmo on-the-fly Tiga.

TIGA UPPAAL. Descrição

Uppaal TIGA é uma extensão de uppaal e implementa o primeiro algoritmo em eficiente para resolver jogos. Uppaal TIGA é uma extensão de uppaal e implementa o primeiro algoritmo de eficiente em mosca para resolver jogos baseados em autômatos do jogo cronometrado com relação às propriedades de acessibilidade e segurança. Embora os jogos cronometrados por muito tempo são conhecidos por serem decidíveis Até agora, a falta de algoritmos eficientes e verdadeiramente on-fly para sua análise.uppaal TIGA fornece uma interface gráfica amigável com o seu servidor correspondente, e um verificador de linha de comando.O algoritmo que propomos é um simbólico Extensão do algoritmo on-fly sugerido por Liu e Smolka para o modelo de tempo linear - a verificação de sistemas de estado finito. Estar em vôo, o algoritmo simbólico pode terminar muito antes de ter explorado todo o estado-espaço. Além disso, as etapas individuais do algoritmo são realizadas eficientemente pelo uso de chamadas zonas como a estrutura de dados subjacente. Nossa ferramenta implementa várias otimizações do algoritmo simbólico básico, bem como métodos para obter estratégias de vencimento ideais de tempo (para jogos de alcance). O que é novo nesta versão: · Esta versão corrige dois bugs principais: respostas erradas (e estratégias) foram dadas Para alguns casos envolvendo atrasos, e o simulador não lidou com estados urgentes e comprometidos corretamente.

TIGA UPPAAL. Software Relacionado