A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation

@article{Frey2002AFS,
  title={A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation},
  author={Peter Frey and Radharamanan Radhakrishnan and Harold W. Carter and Philip A. Wilsey and Perry Alexander},
  journal={IEEE Trans. Software Eng.},
  year={2002},
  volume={28},
  pages={58-78}
}
ÐThis paper describes a formal framework developed using the Prototype Verification System (PVS) to model and verify distributed simulation kernels based on the Time-Warp paradigm. The intent is to provide a common formal base from which domain specific simulators can be modeled, verified, and developed. PVS constructs are developed to represent basic Time… CONTINUE READING