REVIEW OF FORMAL TESTS