Research protoyping in PRISM

Donghwan, Shin in SELab has presented SOS simulation with PRISM in RED&B workshop on Aug 12, 2015.

Its contents was below.

1. MCI scenario specification
2. Scenario modeling
3. Simulation
4. Model checking and results
5. Discussion


This video shows the modeling simulation in PRISM.

Also, you can download the presentation file.