... (GUI), the other based on a command line interface. Both use the same underlying model checker. ... In short, to run the PRISM GUI:.
確定! 回上一頁