Este é o aplicativo Linux chamado Alternating Timed Automata Solver cuja última versão pode ser baixada como ataoproject_1.2.beta.zip. Ele pode ser executado online no provedor de hospedagem gratuito OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado Alternating Timed Automata Solver com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
Solucionador de autômatos temporizados alternados
Ad
DESCRIÇÃO
Nosso objetivo é desenvolver um solver completo e funcional para ATA (com 1 clock) em Python, com suporte de MTL para ATA. A decidibilidade para o problema do vazio foi proposta por Lasota e Walukiewicz. O MTL para ATA foi proposto por Ouaknine e Worrell.
Recursos
- Solucionador de vazio de autômato temporizado alternado
- Tradução de MTL para ATA
- Operações ATA comuns (união, complementação, interseção, verificação de modelo)
Público
Tecnologia da Informação
Interface com o usuário
Qt
Linguagem de Programação
Python
Ambiente de Banco de Dados
Baseado em XML
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/atao/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.
