Properties, models, and methods

[Robert Goldman]

I apologize in advance if I'm overlooking something obvious, but is there a table somewhere that indicates which properties are valid with which models?  I'm not entirely sure, but I think one might want a table that's properties x models x solution methods, since some solution methods might not support the same set of properties.

We've found a few places that have a subset of this information,. but no comprehensive table. But it's possible that the fault is not with my documentation, but with myself (sorry, Shakespeare!).

[Dave Parker]

Hi Robert,

Different sections of the manual explain what is allowed for each model type/class, but no we don't have a single table capturing all this info I'm afraid.

Best wishes,

Dave

Iapologize in advance if I'm overlooking something obvious, but is there a table somewhere that indicates which properties are valid with which models?  I'm not entirely sure, but I think one might want a table that's properties x models x solution methods, since some solution methods might not support the same set of properties.

We've found a few places that have a subset of this information,. but no comprehensive table. But it's possible that the fault is not with my documentation, but with myself (sorry, Shakespeare!).

--
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, visit https://groups.google.com/d/msgid/prismmodelchecker/2fe4a75d-93ff-40d3-a962-73077416108bn%40googlegroups.com.