Model checking and Prism plugin Hello everyone, I'm new…
0 reactions
Model checking and Prism plugin
Hello everyone, I'm new here, so I hope to be in the right place. I'm currently studying Prism as a tool for model checking. I was wondering if there was a plugin or a flag of Prism that let me see the internal representation that it does when computing the reachable states and after the BDD representation of data. In the end I wanted to know if anyone knows about a alternative Prism versions that optimize in different way the simmetry use in models.
#technology
Hello everyone, I'm new here, so I hope to be in the right place. I'm currently studying Prism as a tool for model checking. I was wondering if there was a plugin or a flag of Prism that let me see the internal representation that it does when computing the reachable states and after the BDD representation of data. In the end I wanted to know if anyone knows about a alternative Prism versions that optimize in different way the simmetry use in models.
#technology
| 3,000 mlx | |
| 4 | |
| 0 |