Error when using Internal Model Checker for Random Operators with variables
Hello
When the fields of the Random operator are filled in with variables, it works well with simulation and UPPAAL model checker. But when internal model checker is used, the verification does not start. It gives an error message in the command prompt (on my windows system). Please find the screenshot below
On replacing the variables with constants, it works.