鑒于今天上課很多用MAC的同學(xué)都無(wú)法安裝prism，就拜托朋友更新一波MAC如何安裝軟件的教程~
1. 從http://www.prismmodelchecker.org/download.php下載 Mac OS X (64-bit) binary
2. 下載完成后，去下載目錄里雙擊剛剛下載的文件（一個(gè)以prism 開(kāi)頭的 .tar.gz 文件）
3. 然后會(huì)解壓出來(lái)一個(gè)同名的文件夾，記住這個(gè)名字
4. 戳屏幕右上角附近的搜索圖標(biāo)，搜索Terminal 并打開(kāi)
5. 鍵入 cd Downloads/X 把 X 換成你剛剛解壓出來(lái)的那個(gè)文件夾的名字然后回車
6. 鍵入 ./install.sh 然后回車
7. 鍵入 ./bin/xprism 即可使用
(注：以后要使用的時(shí)候，只需要重復(fù)步驟 4 5 7 即可)
如果還有問(wèn)題歡迎聯(lián)系后臺(tái)~
聯(lián)系客服
