Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. MCMAS-SC model checker

MCMAS-SC model checker

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

Nowy kontroler modelu, o nazwie MCMAS-SC, do weryfikacji zobowiązań społecznych i ich realizacji. Jest to rozszerzanie kontrolera modelu MCMAS w celu obsługi weryfikacji logiki CTLC.

historia wersji

  • Wersja MCMAS-SC opublikowany na 2011-01-25
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2011-01-25

Szczegóły programu

Programy pokrewne

  • CHLone Wolna

    Pakiet CHLone jest zgodnym z CGNS/SIDS aplikacją mapującą SIDS-hdf5 i zawiera 3 poziomy interfejsu do tworzenia aplikacji. Są to:- C1 klon CGNS/MLL, ten sam API co CGNS/MLL- A2 interfejs API aplikacji, interfejs użytkowni

  • FactotumNOW IAS Reporting Bezpłatna wersja próbna

    FactotumNOW IAS Reporting importuje pliki dziennika IAS/RRAS (Microsoft VPN) za pośrednictwem aparatu, który można zainstalować na serwerze VPN/IAS. Statystyki usługi IAS (Microsoft® Internet Authentication Service) są następ

  • Flash-Creator Bezpłatna wersja próbna

    Flash Creator to szybkie i odświeżająco łatwe w użyciu narzędzie do tworzenia animowanych logo Flash, banerów, intro, nagłówków i wszystkiego, co można sobie wyobrazić od razu po wyjęciu z pudełka. Zapewnia środowisko projekt

  • SAW (Small Artificial World) Wolna

    SAW (Small Artificial World) to symulacja naturalnej ewolucji. Świat jest zamieszkany przez liczne sztuczne istoty, które mogą współdziałać ze sobą w walce o przetrwanie. Wykorzystywany jest algorytm genetyczny i sieć neurono

  • evids video intrusion detection system Wolna

    Evids to system wykrywania włamań wideo klient/serwer. Zautomatyzowany oprogramowanie do nadzoru zapewnia pełnoetatowe monitorowanie przychodzących Sygnały. Ponadto Evids jest bezpłatnym projektem opensource realizowanym

  • Accessibility plugins for Liferay Wolna

    Celem tego projet jest dostarczenie zestawu rozszerzeń (wtyczek) w celu zwiększenia dostępności na portalu Liferay.

  • SynchroJet Bezpłatna wersja próbna

    SynchroJet to łatwe w użyciu narzędzie do tworzenia kopii zapasowych i synchronizacji, które może współpracować ze źródłami lokalnymi, LAN, FTP /SSL. Z SynchroJet można łatwo zachować wszystkie ważne pliki zsynchronizowane mi

  • ControlK Wolna

    Jest to bardzo prosta wtyczka do JEdit. Dodaje funkcję eclipse control-K, czyli: znajdź następne wystąpienie zaznaczonego tekstu.

  • emulare Wolna

    Emulare jest emulatorem arduino.To pozwala na uruchamianie programów arduino w emulacji. Posiada pełne wsparcie dla wszystkich urządzeń na Arduino Duemilanove. Ma interfejs GDB do debugowania. Posiada kompletny interfejs g

  • Music Shuffling Wolna

    Aplikacja .net 3.5, która pozwala użytkownikowi tasować muzykę w iPodzie lub innym urządzeniu. pełne funkcje z wybranych losowych plików, a także shuffle przez na pliki.