The PEP tool 2.0b
Pobieranie będzie można pobrać w ciągu 5 sekund.
Możesz również kliknąć następujący link do pobierania zewnętrznego, aby rozpocząć pobieranie:
http://sourceforge.net/projects/peptool/files/peptool/2.0beta4/peptool-2.0.beta4-solaris.tar.gz/download
O The PEP tool
PEP jest ramą modelowania i weryfikacji systemów równoległych, zapewniającą dużą liczbę różnych języków modelowania i technik weryfikacji (np. sieci SDL, Petriego i sprawdzanie modelu)
Programy pokrewne
-
JDPF Wolna
Ten program jest oprogramowaniem open source wolnym zarówno do użytku osobistego, jak i komercyjnego, a więc idealnym wyborem dla tych, którzy chcą alternatywy dla bardziej znanych płatnych programów.
-
VDK Library Wolna
Biblioteka VDK to struktura w języku C++, która wiąże biblioteki graficzne GTK+, dostępna dla systemów Linux i Windows, była biblioteką bazową dla projektu VDKBuilder. Ostatnio projekt został podzielony i VDK kontynuuje rozwó
-
Efes Wolna
Implementacja schematu opartego na kodzie bajtowym (R^5RS). Szybki, kompaktowy, stabilny, odpowiedni do edukacji i eksperymentowania.
-
Light Torch Flash Widget Pro Wolna
Widget, aby włączyć / wyłączyć aparat led (flash) za pomocą tylko kliknięcia. Przydatne jako latarka.
-
Ayra - VCL Report Generator Wolna
Projektant raportów i aplikacja generatora napisana w Delphi, z projektantem raportów WYSIWYG, składnikiem VCL do generowania raportów, ważna dla Delphi 5 do 2006, i małą aplikacją CommandLine do połączenia. Działa tylko w sy
-
ES32 - EEG Analysis Wolna
ES32 to program windows do analizy plików danych EEG produkowanych przez aplikację NEUROSCAN (tm) Acquire.
-
LJOS - Java and database integration Wolna
LJOS oznacza sekwencję słów: Linux, Java, System operacyjny. Jest to próba utworzenia bezpośredniego rozszerzenia kodu bajtowego do jądra Linuksa ściśle zintegrowanego z bazą danych jako wspólnym magazynem.
-
DROIDinfo (Android 1.6+) Wolna
DROIDinfo wyświetla informacje techniczne o urządzeniu z systemem Android. Jest on skierowany do programistów, którzy chcą uzyskać przegląd sprzętu urządzenia, systemu Linux / Android i właściwości Java, jak widać z Dalvik VM
-
Lumbermill - Log4J/JSR47 GUI Wolna
Lumbermill jest wizualnym centrum przetwarzania i dystrybucji dziennika log4j i (w 2.0) java.util.logging (JSR47). Jest to samodzielna aplikacja Swing/GUI, która obsługuje przeglądanie i archiwizowanie zdarzeń dziennika.
-
EmbeddedImageBuilder Wolna
Celem tego projektu jest zapewnienie metody tworzenia obrazu rozruchowego dla małych systemów osadzonych, w oparciu o oryginalne źródła pakietów, w szczególności buildroot, oraz migawkę plików dystrybucji i konfiguracji dla p