Sreeranga Rajan

  • Citations Per Year
Learn More
The complexity of the Fibre Channel protocol poses a challenge to design its implementation “right-the-firsttime”. 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