Abstract: There is provided in accordance with embodiments of the present invention a method and a system for testing and verifying a requirements specification of a system comprising describing the requirements specification in a REQUIREMENTS ENGINEERING LANGUAGE (REL), simulating an execution of a scenario of the REL, and identifying logical faults in said requirements specification based on said simulating. Accordingly, the system for testing and verifying of requirements specification of a system comprising a modeling and testing component to build a model of the requirements specification, and a dynamic testing component to test the requirements specification by execution of at least one simulation cycle.