Formal Specification and Verification of the pGVT Algorithm

Authors:
Balakrishnan Kannikeswaran;Radharamanan Radhakrishnan;Peter Frey;Perry Alexander;Philip A. Wilsey
Affiliations:
-;-;-;-;-
Venue:
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Year:
1996

Experiences in verifying parallel simulation algorithms

FMSP '98 Proceedings of the second workshop on Formal methods in software practice
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation

IEEE Transactions on Software Engineering
Parallel Synchronization of Continuous Time Discrete Event Simulators

ICPP '97 Proceedings of the international Conference on Parallel Processing
Lightweight Time Warp- A Novel Protocol for Parallel Optimistic Simulation of Large-Scale DEVS and Cell-DEVS Models

DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications

Hi-index	0.00