![](/statics/img/blank.png)
STP 1022
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 2.8/5 - 14 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O STP
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