STP 1022
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 2.8/5 - 14 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa STP
STP (Simple Theorem Prover): una procedura di risolutore di vincoli/decisione che accetta formule o vincoli generati da strumenti di analisi/generazione di test del programma, controllori di modelli, ricerca di bug, strumenti di verifica formale hardware/software, fuzzer intelligenti