Programma's van sites.google.com/site/stpfastprover/

STP (Simple Theorem Prover): een beperking oplosser / beslissingsprocedure die formules of beperkingen gegenereerd door programma-analyse / test generatie tools, model checkers, bug finders, hardware / software formele verifi