1. An apparatus for functional verification of reactive system, comprising: a test generator module for automatically creating a verification test for said reactive system; and a checking module for checking responses of said test when applied to said reactive system; wherein said reactive system can be verified by said response.