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
Learn more about how we conduct our research
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work.
Our research philosophy