Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. Analyzer Component Framework

Analyzer Component Framework 0.1

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.7/5 - ‎3 ‎Stemmen
Downloaden

ACF is een kader voor het schrijven van model-checkers. ACF is gebouwd op de fundamentele constatering dat de structuur van de meeste modelcontrolealgoritmen staat los van het formalisme dat wordt gebruikt om het systeem.

versiegeschiedenis

  • Versie 0.1 geplaatst op 2000-03-21
    Verschillende oplossingen en updates
  • Versie 0.1 geplaatst op 2000-03-21

Programmadetails

Gerelateerde programma's

  • LEP Gratis

    Geletterde Eclipse Programming helpt ontwikkelaars bij het schrijven van gestructureerde, goed gedocumenteerde broncode. LEP integreert geautomatiseerde extractie van broncode en documentatie in een vertrouwde eclipsomgeving.

  • BakerBots Gratis

    Dit is de Baker College, intern ontwikkelde applicatie voor het runnen van bots als avatars in Second Life, OpenSim, enz. Het is gebaseerd op Program# voor AIML verwerking en libOpenMetaverse voor de SL browser functionalitei

  • Survival Medicine Guide Gratis proefperiode

    "Vereist gratis Adobe Reader"***Dit is een survival medicine gids voor het geval wat we allemaal vrezen echt gebeurt. Dit is een groot compliment aan een goede overleving handleiding. Deze informatie is mogelijk niet besc

  • Universal Maths Conversion Library Gratis

    De UMCL-bibliotheek biedt één API aan ontwikkelaars van toepassingen die conversies vereisen tussen verschillende Wiskundige formaten en vooral braillespecifieke notaties.

  • Bhagavad Gita(YaBG) Gratis

    YaBG - Nog een "Bhagavad Gita" app. Met deze app kun je de hele bhagavad gita zonder onderbrekingen doorlezen; geen advertenties, geen pijnlijke pop-ups; volledig vrij en niets opdringerig. Ik heb deze app gemaakt z

  • PONS German PREMIUM Gratis proefperiode

    De PONS Dictionary Duits als een vreemde taal PREMIUM is met 77.000 zoekwoorden, zinnen en constructies en meer dan 125.000 definities en voorbeelden van de meest uitgebreide standaard referentie tool door PONS. Leer je Duits

  • jQuantum Gratis

    jQuantum is een Java-programma om een quantumcomputer te simuleren, kwantumcircuits te ontwerpen en de uitvoering van kwantumalgoritmen te visualiseren. Een ander belangrijk doel, echter, is om beelden te creëren in je hoofd,

  • FlameBitmaps Gratis

    2D-Grijs-schaal bitmaps berekenen Berekening van een 3D-rotatie-body vormt een gedetecteerd gebied met behulp van verschillende algoritmen voor beeldverwerking. Ontwikkeld voor het German Aerospace Center (DLR). Gebruikte pro

  • fropho Gratis

    fropho berekent phonon eigenschappen in kristal, die is gebaseerd op Parlinski-Li-Kawazoe methode. Informatie over krachten die reageren op atomen wanneer een atoom wordt verplaatst, is vereist als input-informatie. fropho wo

  • FSMPP - Finite State Machines in C++ Gratis

    FSMPP is een bibliotheek met een eenvoudig, lites en intuïtief framework voor het bouwen van Finite State Machines in C++.