Developing a Framework for Simulation, Verification and Testing of SDL Specifications

Testing of implementations


•	Simulator can be used for testing: implemented
	units are substituted in place of simulations