Alireza Souri

2 Questions 18 Answers 0 Followers

Questions related from Alireza Souri

How can I translate a model from PAT model checker to NuSMV model checker?

By using PAT model checker, we can create a mAskodel and simulate it, so for verifying a CTL specification for model, we should translate this model to SMV code that verify it in NuSMV model checker.

03 March 2015 7,801 5 View

How can I simulate the resource discovery algorithm for mobile grid computing?

For showing the performance of resource discovery algorithm, we should simulate it in mobile grid computing by a simulation tool.

11 November 2014 6,605 6 View