Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. Extended NuSMV

Extended NuSMV 1.1

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 2.5/5 - ‎8 ‎Stemmen
Downloaden

Een uitgebreide versie van NuSMV, die symbolische modelcontrole van ETL en APSL ondersteunt

versiegeschiedenis

  • Versie enusmv%201.1 geplaatst op 2009-03-04
    Verschillende oplossingen en updates
  • Versie enusmv 1.1 geplaatst op 2009-03-04

Programmadetails

Gerelateerde programma's

  • Voice Widget Gratis

    Start Voice Recorder, Youtube, TV of Radio, Explorer of Search met één klik.2 prachtige widgets om uw telefoon voice recorder, Youtube, TV of radio, explorer of zoeken te koppelen. De ontwerpstijl is net als de HTC Sense.

  • ZIPCodeWorld Store Locator .NET Component Gratis proefperiode

    ZIPCodeWorld Store Locator .NET is een store locator control voor alle .NET ontwikkelaars. Uw eigen store locator-service in de Verenigde Staten of Canada kan binnen enkele minuten operationeel zijn. ZIPCodeWorld Store Locato

  • Mobile Data On/Off Toggle Gratis

    Mobiele data aan/uit schakelen Mobiele gegevens aan/uitschakelen Schakelschakelaar Mobiele gegevens aan/uitschakelen Schakelschakelaar Mobiele data op Uitgeschakeld Schakelen schakelaar.- Deze software noodzaak Inschakelen &q

  • OCF Resource Agent for SAP Gratis

    Biedt OCF (Open Cluster Framework) compatibele resource agents, om SAP-software uit te voeren in een Linux-cluster met hoge beschikbaarheid (zoals het Linux-HA-project).

  • Wintermute Engine DevKit Gratis

    Wintermute Engine Development Kit is een set van tools voor het creëren en uitvoeren van grafische point & click adventure games, zowel traditionele 2D-games en moderne 2.5D-games (3D-personages op 2D-achtergronden).

  • Aginity Netezza Workbench Gratis

    Aginity is een Netezza Solution Provider partner. De Workbench is ontstaan uit onze behoefte aan specifieke tools om onze uitgebreide ervaring te ondersteunen bij het ontwikkelen van grote systemen op het Netezza toestel. Wor

  • xUnit - Unit Testing Framework Gratis

    xUnit is een XP-stijl unit testing framework. xUnit gebruikt een protocol tussen een front-end om testresultaten weer te geven en een teststuurprogramma dat is gekoppeld aan toepassingen - waardoor de afhankelijkheden tussen

  • perf2rrd Gratis

    perf2rrd is een programma geschreven in Java (tm) die de prestaties gegevens output vangt door de Nagios (R) monitoring systeem en slaat het op in ronde robin database bestanden als implememented door RRDtool.

  • MisterHouse: Home Automation with Perl Gratis

    MisterHouse is een Windows/Unix domoticaprogramma geschreven in Perl. Het kan reageren op spraakopdrachten, webbrowsers, tijd van de dag, seriële poort en X10-gegevens, externe bestanden, enz.

  • IFM - Interface Management System Gratis

    IFM (voorheen wxIFM) is een Interface Management-bibliotheek die is ontworpen om dockable vensters toe te voegen aan uw toepassingen, waardoor uw interface de aanpasbare mogelijkheid heeft die wordt geëist door ervaren comput