Experiences in verifying parallel simulation algorithms

Dale E. Martin
Peter Frey
Ramanan Radhakrishnan
Perry Alexander
Philip A. Wilsey
Proceedings of the ACM Workshop on Formal Methods in Software Practice, ACM(1998), pp. 16-23

Abstract

Research Areas