Stepanov, S.; Shishkin, A. Using the Static Verification Tools for Checking the ScopeShell System. Num. Meth. Prog. 2009, 10, 22-33.