If else in PRISM Model

[Bilal Sarwar]

Hi,

I am currently working on my master's thesis and have encountered a challenge that I hope you can assist me with. Specifically, I would like to inquire whether Prism permits the use of conditional statements, such as "if else" or "condition ? a : b," in its formulas. Alternatively, does this functionality extend only to property checking?

Thank you, I look forward to your response.

 

[Gethin Norman]

Hi Bilal,

yes "condition ? a : b” can also be used in updates, guards and formulae. For examples of this see:

https://www.prismmodelchecker.org/casestudies/bluetooth.php

which uses these in updates and formulae

thanks

Gethin

> --
> You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchec...@googlegroups.com.
> To view this discussion on the web, visit https://groups.google.com/d/msgid/prismmodelchecker/4f941b62-5949-43f3-8f56-bd277187316fn%40googlegroups.com.