کلیدواژه checked برای فعال سازی صریح بررسی سرریز در تبدیلات و عملیات محاسباتی نوع-صحیح مورد استفاده قرار می گیرد.
بصورت پیش فرض، یک عبارت که تنها شامل مقادیر ثابت است، اگر مقداری که خارج از محدوده نوع مقصد باشد، تولید یک خطای کامپایلری می کند. اگر آن عبارت حاوی یک یا بیش از یک مقدار غیر-ثابت باشد، کامپایلر سرریز را تشخیص نمی دهد. در مثال زیر ارزیابی عبارتی که به i2 انتساب داده شده، سبب تولید خطای کامپایلری نمی شود.
// The following example causes compiler error CS0220 because 2147483647 // is the maximum value for integers. //int i1 = 2147483647 + 10; // The following example, which includes variable ten, does not cause // a compiler error. int ten = 10; int i2 = 2147483647 + ten; // By default, the overflow in the previous statement also does // not cause a run-time exception. The following line displays // -2,147,483,639 as the sum of 2,147,483,647 and 10. Console.WriteLine(i2);