Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. Extended NuSMV

Extended NuSMV 1.1

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 2.5/5 - ‎8 ‎Głosów
Pobierz

Rozszerzona wersja NuSMV, która obsługuje symboliczne sprawdzanie modelu ETL i APSL

historia wersji

  • Wersja enusmv%201.1 opublikowany na 2009-03-04
    Kilka poprawek i aktualizacji
  • Wersja enusmv 1.1 opublikowany na 2009-03-04

Szczegóły programu

Programy pokrewne

  • Voice Widget Wolna

    Uruchom dyktafon, Youtube, TV lub Radio, Explorer lub szukaj za pomocą jednego kliknięcia.2 piękne widżety do połączenia dyktafonu telefonu, Youtube, TV lub radio, explorer lub wyszukiwania. Styl projektowania jest jak HTC

  • ZIPCodeWorld Store Locator .NET Component Bezpłatna wersja próbna

    ZIPCodeWorld Store Locator .NET jest formantem lokalizatora magazynu dla wszystkich deweloperów platformy .NET. Twoja własna usługa lokalizatora sklepów w Stanach Zjednoczonych lub Kanadzie może zostać uruchomiona w ciągu kil

  • Mobile Data On/Off Toggle Wolna

    Mobile Data On / Off ToggleMobile Data On / Off Przełącznik Przełączania DanychMobile On / Off Przełącznik przełączania Przełącznik OnOff DaneMobile.- Ta konieczność oprogramowania Włącz "Mobile data" w ustawieniach

  • OCF Resource Agent for SAP Wolna

    Zapewnia agentów zasobów zgodnych ze standardem OCF (Open Cluster Framework), aby uruchomić oprogramowanie SAP w klastrze o wysokiej dostępności systemu Linux (takim jak projekt Linux-HA).

  • Wintermute Engine DevKit Wolna

    Wintermute Engine Development Kit to zestaw narzędzi do tworzenia i uruchamiania graficznych gier przygodowych typu point&click, zarówno tradycyjnych gier 2D, jak i nowoczesnych gier 2.5D (postacie 3D na tle 2D).

  • Aginity Netezza Workbench Wolna

    Aginity jest partnerem Netezza Solution Provider. Workbench powstał z naszego zapotrzebowania na konkretne narzędzia wspierające nasze bogate doświadczenie w opracowywaniu dużych systemów na urządzeniu Netezza. Workbench ofer

  • xUnit - Unit Testing Framework Wolna

    xUnit jest platformą testowania jednostek w stylu XP. xUnit używa protokołu między frontonem do wyświetlania wyników testów a sterownikiem testowym połączonym z aplikacjami - usuwając zależności czasu łącza między aplikacją a

  • perf2rrd Wolna

    perf2rrd to program napisany w języku Java (tm), który przechwytuje dane wyjściowe wydajności przez system monitorowania Nagios (R) i przechowuje je w plikach bazy danych okrężnych jako niedokrwione przez RRDtool.

  • MisterHouse: Home Automation with Perl Wolna

    MisterHouse to program automatyki domowej Windows/Unix napisany w Perlu. Może reagować na polecenia głosowe, przeglądarki internetowe, porę dnia, port szeregowy i dane X10, pliki zewnętrzne itp.

  • IFM - Interface Management System Wolna

    IFM (dawniej wxIFM) to biblioteka zarządzania interfejsami przeznaczona do dodawania dokowanych okien do aplikacji, dzięki a także interfejsowi, którego wymaga dzisiejszy doświadczonych użytkowników komputerów.