Login / Signup
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation.
Peter Frey
Radharamanan Radhakrishnan
Harold W. Carter
Philip A. Wilsey
Perry Alexander
Published in:
IEEE Trans. Software Eng. (2002)
Keyphrases
</>
formal specification
model checking
specification language
model checker
machine learning
response time
formal methods
object oriented design
process algebra
distributed systems
software systems
concurrent systems