PRISM system specifications can be parsed by Ymer, but are subsequently ignored. If we store the system specification in the parsed model, it should be possible to take it into account when building a compiled model, without having to change the representation of compiled models. Then we would automatically have support for system specifications in all model checking engines, since they all work off of the compiled model.
PRISM system specifications can be parsed by Ymer, but are subsequently ignored. If we store the system specification in the parsed model, it should be possible to take it into account when building a compiled model, without having to change the representation of compiled models. Then we would automatically have support for system specifications in all model checking engines, since they all work off of the compiled model.