SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Fibre channel protocol: Formal specification and verification
 by Vijay Nagasamy, Sreeranga Rajan & and Preeti R. Panda.

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


Abstract
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.
BibTEX Entry
@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/}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy