Chicote O Handler Simbólico Baseado em Liege (Lash)
Baixe Agora

Chicote Classificação e resumo

Chicote Tag

manipular representar representam infinito conjunto Representação Finite-State Manipular Automatá conjunto infinito

Chicote Descrição

O manipulador simbólico baseado em Liège (Lash) O Lash é um conjunto de ferramentas para representar conjuntos infinitos e explorar espaços de estado infinito. É baseado em representações de estado finito, que depende de autômatos do estado finito para representar e manipular conjuntos infinitos de valores em vários domínios de dados. Aqui estão algumas características principais de "Lash": C Bibliotecas que fornecem funções e tipos de dados para executar as seguintes tarefas: · Construindo e manipulando alguns tipos de autômatos do estado finito (em palavras finitas e infinitas). · Manipulando e representando conjuntos infinitos e finitos de valores. · Explorando o espaço-espaço dos sistemas compostos por um controle finito e de variáveis inteiras ilimitadas nas quais as operações lineares são realizadas. Front-Ends para: · Compilar modelos de programas expressos no Simple-Promela e nos idiomas simples, e explorando o estado-espaço desses programas. · Resolvendo problemas expressos na aritmética do presburgo.

Chicote Software Relacionado