Experiences in verifying parallel simulation algorithms

  • Authors:

  • John Penix;Dale Martin;Peter Frey;Ramanan Radhakrishnan;Perry Alexander;Philip A. Wilsey

  • Affiliations:

  • Department of Electrical & Computer Engineering and Computer Science, The University of Cincinnati, PO Box 210030, Cincinnati, OH;Department of Electrical & Computer Engineering and Computer Science, The University of Cincinnati, PO Box 210030, Cincinnati, OH;Department of Electrical & Computer Engineering and Computer Science, The University of Cincinnati, PO Box 210030, Cincinnati, OH;Department of Electrical & Computer Engineering and Computer Science, The University of Cincinnati, PO Box 210030, Cincinnati, OH;Department of Electrical & Computer Engineering and Computer Science, The University of Cincinnati, PO Box 210030, Cincinnati, OH;Department of Electrical & Computer Engineering and Computer Science, The University of Cincinnati, PO Box 210030, Cincinnati, OH

  • Venue:
  • FMSP '98 Proceedings of the second workshop on Formal methods in software practice
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract