Aceasta este aplicația Linux numită Alternating Timed Automata Solver a cărei ultimă versiune poate fi descărcată ca ataoproject_1.2.beta.zip. Poate fi rulat online în furnizorul de găzduire gratuit OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită Alternating Timed Automata Solver cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
Rezolvare automată cu timp alternativ
DESCRIERE:
Scopul nostru este să dezvoltăm un solutor complet funcțional pentru ATA (cu 1 ceas) în Python, cu suport MTL la ATA. Decibilitatea pentru problema golului a fost propusă de Lasota și Walukiewicz. MTL la ATA a fost propus de Ouaknine și Worrell.
DESCRIERE
- Rezolvator de goluri automate temporizate alternativ
- Traducere MTL în ATA
- Operațiuni ATA comune (Unire, completare, intersecție, verificare model)
Public
Tehnologia Informației
Interfața cu utilizatorul
Qt
Limbaj de programare
Piton
Mediul bazei de date
Bazat pe XML
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/atao/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.