Verification Techniques To Avoid Deadlocks On Channel Contracts

Microsoft singularity is a research operating system. Singularity is a highly dependable OS. Its basic architecture features are SIPs, the contract-based channels and the manifest-based programs. Our work is motivated by the Singularity operating system. The claim of singularity guarantee that there is no deadlock on channel contracts, This claim is wrong. We present channel contract analysis and many techniques. By using these techniques and tool efficient analysis of singularity channel contract is possible. 1