verify

Warning

The stormpy developer API is internal and can be subject to change.

verify(

environment: stormpy.environments.Environment,

model: stormpy.developer.storage._storage._SparseModel_RationalFunction,

formula: stormpy.logic.Formula,

region: stormpy.pars.ParameterRegion,

region_engine: stormpy.pars.RegionCheckEngine = <RegionCheckEngine.PARAMETER_LIFTING: 0>,

) → bool

verify(

environment: stormpy.environments.Environment,

model: stormpy.developer.storage._storage._SparseModel_RationalFunction,

formula: stormpy.logic.Formula,

region_bound: stormpy.numbers.RationalFunctionCoefficient,

region_engine: stormpy.pars.RegionCheckEngine = <RegionCheckEngine.PARAMETER_LIFTING: 0>,

) → bool

Verify a bounded probability or reward formula for all well-defined valuations in the region

Verify a bounded probability or reward formula for all well-defined valuations in the region