Dit is de Linux-app genaamd Alternating Timed Automata Solver waarvan de nieuwste release kan worden gedownload als ataoproject_1.2.beta.zip. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en gebruik deze app genaamd Alternating Timed Automata Solver met OnWorks gratis online.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
Afwisselend getimede automatenoplosser
Ad
PRODUCTBESCHRIJVING
Ons doel is om een volledig werkende oplosser voor ATA (met 1 klok) in Python te ontwikkelen, met ondersteuning voor MTL naar ATA. De beslisbaarheid voor het leegteprobleem werd voorgesteld door Lasota en Walukiewicz. De MTL naar ATA werd voorgesteld door Ouaknine en Worrell.
Voordelen
- Afwisselend Timed Automata-leegheidsoplosser
- MTL naar ATA vertaling
- Gemeenschappelijke ATA-bewerkingen (Union, Complementation, Intersection, Model checking)
Toehoorders
Informatie Technologie
Gebruikersinterface
Qt
Programmeertaal
Python
Database-omgeving
XML-gebaseerd
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/atao/. Het is gehost in OnWorks om op een gemakkelijkste manier online te kunnen worden uitgevoerd vanuit een van onze gratis besturingssystemen.