LTL3 tools 0.0.7
Je het binnen 5 seconden downloaden.
U ook op de volgende externe downloadkoppeling klikken om te beginnen met downloaden:
http://sourceforge.net/projects/ltl3tools/files/ltl3tools/0.0.7/ltl3tools-0.0.7.tar.gz/download
Over LTL3 tools
Een verzameling tools die gebruikt kunnen worden om monitoren ("watchdogs") uit LTL-formules te genereren. Dit is bekend op het gebied van runtime verificatie. Zie de bijbehorende startpagina van het project voor meer informatie.
Gerelateerde programma's
-
Neve Gratis
De NEtwork Visualisation Environment is een framework voor 3D-visualisatie van en interactie met netwerken, met name communicatienetwerken als internet in zowel real time als als simulatietool. Gebaseerd op JMX/Java3D.
-
Wikidsmart Gratis
zAgile's Wikidsmart maakt van Confluence een semantische wiki en kennisrepository. Gebouwd op zCALM, de semantische webinfrastructuur voor applicatie-interoperabiliteit, wordt het een informatiedashboard wanneer connectoren v
-
sdf2xyz2sdf Gratis
Een open-source software om SDF-bestanden om te zetten in TINKER XYZ-bestanden (en viceversa) met automatische toewijzing van MMFF94-atoomtypen, obligatietypen en kosten
-
Alcoholics Anonymous 12 Steps Gratis proefperiode
Helpt bij verslaving herstel en biedt een nuttige referentie voor elk AA-lid.Big Book, Soberheid Calculator, 12 stappen en tradities, Zoek AA vergaderingen, gebeden.Kenmerken zijn onder andere:Het Grote Boek -Orig
-
Drum Count Gratis
Drum Count is een eenvoudig hulpmiddel dat geluid in real-time analyseert om het aantal slagen dat op een drumstel wordt gespeeld te meten.
-
FBReader LitRes plugin Gratis proefperiode
Extra functies voor FBReader litres.ru integratie.Met één klik op de opslag.Registreer nieuwe gebruikers rechtstreeks van FBReader, herla jij je account via sms'jes en creditcards.
-
quickdoc Gratis
QuickDoc is een java-documentparser die documenten uit platte tekstbestanden met een eenvoudige taal leest en het document exporteert naar andere indelingen zoals PDF, HTML, Java Help en XML.
-
The Earth Science Markup Language Gratis
ESML is een uitwisselingstechnologie die gebruik maakt van externe metadata om toepassingen naadloos te kunnen aansluiten en spelen met earth science-specifieke gegevenssets in heterogene formaten.
-
RoboCup GameController Gratis
RoboCup GameController is een open source software die wordt gebruikt in de RoboCup Humanoid League en de Standard Platform League. Scheidsrechter commando's worden verzonden naar de robots op het speelveld via draadloos netw
-
PMath Gratis
PMath is een palm-gebaseerde WYSIWYG editor van wiskundige teksten met de mogelijkheid om ze om te zetten naar LaTeX.