安装KeY相关事项

纠结了几天，终于把KeYSystem安装好了，先吐槽一下，这几天的时间主要花在寻找上了......坑爹的百度各种找不到资源，而且KeY这个关键字也不好搜......感谢宽哥提供的资源，http://www.key-project.org，这个才是正确的官方网址。

另外，不需要用JDK的开发环境，只需要安装JRE就可以支持程序的运行了

安装好JDK之后，剩下的步骤按照官网上来就行，选择Download->InstantStart: WebStart，不过此时google浏览器不支持直接点击，因此需要复制http://www.key-project.org/download/releases/webstart/KeY.jnlp这个地址，用javaws来执行即可。如果显示被阻拦，可以更改一下java的安全设置，在忽略网址里加入http://www.key-project.org，这样就可以让javaws执行key-project网站上面的程序了。

执行一次之后，之后就可以选择脱机运行，因为此时KeY的程序已经下载到本地了。