VSL | Publications | Finite-State Verification for High Performance Computing

Title: Finite-State Verification for High Performance Computing

Authors: George S. Avrunin, Stephen F. Siegel, and Andrew R. Siegel

Appeared in:

Philip M. Johnson, ed., Proceedings of the Second International Workshop on Software Engineering for High Performance Computing System Applications, St. Louis, MO, May 15, 2005, pages 68-72

BibTeX:

@InProceedings{avrunin-siegel-siegel:2005:sehpcs,
  author = "George S. Avrunin and Stephen F. Siegel and Andrew R. Siegel",
  title = "Finite-state Verification for High Performance Computing",
  crossref = {sehpcs2005},
  pages = {68--72}
}
@Proceedings{sehpcs2005,
  title = "Proceedings of the Second International Workshop On Software Engineering For High Performance Computing System Applications, St. Louis, Missouri, USA, May 15, 2005",
  booktitle = "Proceedings of the Second International Workshop On Software Engineering For High Performance Computing System Applications, St. Louis, Missouri, USA, May 15, 2005",
  editor = "Philip M. Johnson",
  mynote = {\url{http://csdl.ics.hawaii.edu/se-hpcs/papers/sehpcs-proceedings.pdf}},
  year = 2005
}

Download:

fsvhpc_sehpcs_2005.pdf (full paper)

VSL | Publications