Sreeranga Rajan

Learn More
The complexity of the Fibre Channel protocol poses a challenge to design its implementation " right-the-first-time ". In this work we have investigated the formal specification and mechanical verification of the Fibre Channel Protocol to address issues of correctness. We present abstract models of the FC-2 layer protocols in SpecCharts and the automated(More)
  • 1