Questa è l'app Linux denominata Alternating Timed Automata Solver la cui ultima versione può essere scaricata come ataoproject_1.2.beta.zip. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app denominata Alternating Timed Automata Solver con OnWorks gratuitamente.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
Risolutore di automi a tempo alternato
Ad
DESCRIZIONE
Il nostro obiettivo è sviluppare un risolutore funzionante completo per ATA (con 1 clock) in Python, con supporto da MTL a ATA. La decidibilità per il problema del vuoto è stata proposta da Lasota e Walukiewicz. L'MTL ad ATA è stato proposto da Ouaknine e Worrell.
Caratteristiche
- Risolutore del vuoto di automi a tempo alternato
- Traduzione da MTL a ATA
- Operazioni ATA comuni (unione, complemento, intersezione, controllo del modello)
Pubblico
Information Technology
Interfaccia utente
Qt
Linguaggio di programmazione
Python
Ambiente database
Basato su XML
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/atao/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.