Zaslat SMS: Turbulence modeling verification and validation