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

STP 1022

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

STP (Simple Theorem Prover): solver ograniczeń / procedury decyzyjnej, która akceptuje formuły lub ograniczenia generowane przez analizy programu / narzędzia generowania testów, kontrolery modelu, znalazcy błędów, sprzęt / oprogramowanie formalne narzędzia weryfikacji, inteligentne fuzzers

historia wersji

  • Wersja simplifyingSTP%20r1022 opublikowany na 2010-09-24
    Kilka poprawek i aktualizacji
  • Wersja simplifyingSTP r1022 opublikowany na 2010-09-24

Szczegóły programu

Programy pokrewne

  • Javascript and CSS compress utility Wolna

    Narzędzie wiersza polecenia do kompresji i zaciemniania kodu Javascript i kompresowania kodu CSS. (Na podstawie KJS - biblioteka Javascript zawarte w KHTML.)

  • EasySnuffle Wolna

    EasySnuffle to narzędzie pomiarowe do przechwytywania komunikatów protokołu, stanów protokołów wewnętrznych oraz do pomiaru wydajności implementacji w węzłach sieciowych. Zaimplementowano sondy pomiarowe dla komputerów MAC UD

  • Open Streaming Server Wolna

    Open Streaming Server to dostarczanie multimediów cyfrowych. Główne cechy to: - Streaming plików mp4, 3gp, WMF, QT - Dynamiczna adaptacja przepustowości - Równoważenie obciążenia - Dystrybucja treści Technologia: C++, Java i

  • Chilkat Encryption .NET Component Bezpłatna wersja próbna

    Chilkat Crypt .NET jest zaawansowanym składnikiem szyfrowania, który oferuje zarówno klucz publiczny RSAszyfrowanie z podpisami cyfrowymi, a także symetryczne algorytmy szyfrowania, w tymAES (Rijndael), Blowfish i Twofi

  • Obfuscator for .NET framework Bezpłatna wersja próbna

    Skater .NET Obfuscator jest narzędziem zaciemniania do ochrony kodu .NET. Implementuje wszystkie znane techniki ochrony oprogramowania i algorytmy zaciemniania.Skater .NET Obfuscator to kompleksowe profesjonalne rozwiązanie

  • Angel USB Clock Vol.2 Wolna

    Zamienia telefon komórkowy w zegar.Angel USB Clock to aplikacja, która zamienia telefon w zegar analogowy, podczas gdy ty'ponownie masz naładowaną baterię mobilną.[Cechy]* Automatycznie uruchomi się jako zegar,

  • EMF Search Plugin Wolna

    EMF Search Plugin - Ta wtyczka Eclipse 3.0 zapewnia stronę wyszukiwania wyspecjalizowaną do wyszukiwania danych wystąpienia modelu EMF szeregowanych do zasobów obszaru roboczego. Obecnie obsługiwane są regularne wyszukiwania

  • PV Orientator Wolna

    Umieść ogniwo słoneczne pod optymalnym kątem w dowolnym miejscu i czasie na świecie.-----------------------------------------------------------------------------------------------------------------Użycie energii słonecznej wz

  • Eclipse Json Editor Plugin Wolna

    Edytor JSON to prosta wtyczka do środowiska Eclipse IDE, która zapewnia: - Wyróżnianie tekstu kolorowego - Widok drzewa konturów - sprawdzanie poprawności JSON - Formatowanie tekstu - Składanie tekstu dla formatu danych JSON.

  • D-Addicts Browser Wolna

    D-Addict jest pierwszym źródłem azjatyckich dramatów i programów telewizyjnych w internecie: japoński, koreański, chiński, Hong-Kong, Tajwańczycy, singapurskie dramaty i programy telewizyjne. Łatwy dostęp do D-Addicts najnows