From Sixth Annual Silicon Valley Networking Conference.
SysTech Research.
April, 1995.

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 specication and mechanical verication 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 verication of a portion of the fibre channel node loop core implementation in a mechanical verication system called PVS. We show that this approach can supplement traditional simulation based approaches to obtain better coverage and confidence during verication.

@inproceedings{svnc95,
  AUTHOR = {Vijay Nagasamy and Sreeranga Rajan and and Preeti {R.} Panda},
  TITLE = {Fibre channel protocol: Formal specification and verification},
  BOOKTITLE = {Sixth Annual Silicon Valley Networking Conference},
  YEAR = {1995},
  MONTH = {apr},
  PUBLISHER = {SysTech Research},
  URL = {http://www.csl.sri.com/papers/svnc95/}
}

• svnc95.ps.gz