Programmi di sites.google.com/site/stpfastprover/

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