Prezentujemy eksperymentalne narzędzie do weryfikacji zdolności strategicznych przy niepełnej informacji, jak również do syntezy strategii. Problem ten jest dobrze znany i trudny obliczeniowo, zarówno od strony teoretycznej jak i od strony praktycznej. Narzędzie o nazwie Strategic Verifier (STV) zawiera implementację kilku współczesnych algorytmów redukcji i weryfikacji modelowej, których celem jest przezwyciężenie złożoności, zarówno czasowej jak i pamięciowej. Wśród zaimplementowanych metod znajdują się algorytmy oparte o aproksymacje stałopunktowe, dominacje strategii a także redukcje częściowo-porządkowe.
