Specification-based Verification in a Distributed Shared Memory Simulation Model.
Worawan MarurngsithRoland N. IbbettPublished in: Simul. (2010)
Keyphrases
- simulation model
- distributed shared memory
- formal verification
- message passing
- asynchronous circuits
- protocol specification
- discrete event
- agent based simulation
- model checking
- formal methods
- simulation models
- mathematical model
- simulation environment
- simulation tool
- formal specification
- belief propagation
- colored petri nets
- three dimensional
- graphical models
- concurrent systems
- control system
- pairwise