Skip Abstract Section
Abstract
This is the proceedings of Lfm2000: Fifth NASA Langley Formal Methods Workshop. The workshop was held June 13-15, 2000, in Williamsburg, Virginia. See the web site http://shemesh.larc.nasa.gov/lfm2000/ for complete information about the event.