A formal specification and verification framework for Time Warp-based parallel simulation.
The 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 develop...
| 发表在: | IEEE Transactions on software engineering 28, 1 (2002). |
|---|---|
| 主要作者: | |
| 格式: | 文件 |
| 语言: | 英语 |
| 主题: |