symbolic execution and model-checking
<p>What is the difference between symbolic execution and model checking (for example in model transformation)? I don't understand difference of them. Are they the same?!</p>