Sing# augments the capabilities of Spec# with support for channels and low-level programming language constructs, which are necessary for implementing system software.
Sing# расширяет возможности Spec# за счет поддержки каналов и конструкций низкоуровневого языка программирования, необходимых для реализации системного ПО.