toolset issueshttps://dgit.cs.uni-saarland.de/modest/toolset/-/issues2018-06-16T00:59:19+02:00https://dgit.cs.uni-saarland.de/modest/toolset/-/issues/50Transform STA models that are actually MA into real MA models with rates2018-06-16T00:59:19+02:00Arnd HartmannsTransform STA models that are actually MA into real MA models with ratesThis should be doable with a symbolic transformation (i.e. on the level of the automata network).This should be doable with a symbolic transformation (i.e. on the level of the automata network).Arnd HartmannsArnd Hartmannshttps://dgit.cs.uni-saarland.de/modest/toolset/-/issues/17PRISM input and output support2019-02-26T13:16:15+01:00Arnd HartmannsPRISM input and output supportImplement support for the PRISM language (http://www.prismmodelchecker.org/manual/ThePRISMLanguage/Introduction) as an input and output formalism (i.e. lexer and parser for PRISM code, conversion from PRISM models to automata models, con...Implement support for the PRISM language (http://www.prismmodelchecker.org/manual/ThePRISMLanguage/Introduction) as an input and output formalism (i.e. lexer and parser for PRISM code, conversion from PRISM models to automata models, conversion from automata models to PRISM models, and formatting of PRISM models back to PRISM code).Sanny SchmittSanny Schmitt