Nagasamy, Vijay, and Sreeranga Rajan, and Preeti R. Panda. "Fibre channel protocol: Formal specification and verification." Sixth Annual Silicon Valley Networking Conference. SysTech Research, April 1995.  Home/Search   Document Details and Download   Summary   Related Articles

....clock synchronization circuit [MPJ94] Single Pulser Circuit [JMC94] Jet Propulsion Laboratory Requirements analysis of critical spacecraft software [LA94] University of Kiel Stepwise Refinement tool Compiler Verification . London University . LSI Logic Protocol specification [NRP95] . University of Manchester Verification for a Hardware Description Language . Minnesota and Michigan State University . NASA Langley Research Center Verification of IEEE Compliant Subtractive Division Algorithms Formalizing New Navigation Requirements for NASA s Space Shuttle . US ....

....PVS has been applied is protocol verification. Vijay Nagasamy of LSI Logic, Sreeranga Rajan (then of SRI) and Preeti R. Panda of UC Irvine used PVS to specify and verify part of the implementation for the Fiber channel protocol Department of Computer Science University of Virginia Related Work 47 [NRP95]. They wrote a formal specification to assist with verification that the protocol standards were met. This was also an industrial effort that was undertaken as a research project. SCR (Software Cost Reduction) is a formal specification method developed at the Naval Research Laboratory during an ....

Nagasamy, Vijay, and Sreeranga Rajan, and Preeti R. Panda. "Fibre channel protocol: Formal specification and verification." Sixth Annual Silicon Valley Networking Conference. SysTech Research, April 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC