技术宅。欢迎到我的小窝看看：<a href="https://links.jianshu.com/go?to=http%3A%2F%2Fwww.linxiaoming.me" target="_blank">http://www.linxiaoming.me</a>
发简信
IP属地：辽宁
-
JPF componentsJPF components Java™不仅仅是一种编程语言。它是一组层，从特定于平台的VM实现开始 ("host VM"),它位于为您的操作系统编写和使用的本机库之上。...
-
JPF Application Goals and TypesJPF Application Goals and Types JPF应用程序目标和类型 到目前为止，您已经知道在JPF上运行在编译的java程序，就像普通的java虚拟...
-
JPF Features and Classification
JPF Features and Classification 到目前为止，应该清楚的是，JPF不仅仅是一个模型检查器：它是一个可以用于模型检查的JVM。但是，如果您熟悉...
-
Testing vs. Model Checking
Testing vs. Model Checking 那么JPF所做的是测试我们的程序是否存在缺陷？不，它通常做得更多，至少当用作模型检查器时。那么，测试与模型检查有什么...
-
what is JPF?
what is JPF? JPF 的功能取决于你如何去配置它，首先，没有一个单一的JPF，它是运行时配置的不同组件的组合。JPF的设计使其易于扩展。因此，我们在此仅限于说...
-
愿文字若舞动奇迹的精灵……
-
故事专题，不论是旅行生活中亲身经历的真实故事，还是童话玄幻遐想的虚构故事，这里记录你的每个故事。 欢迎向我们投稿你的故事！ 所投稿件必须是一个完整的故事，故事包括但不限于：小说、世间故事、叙事散文、以叙事为主的回忆录…… 投稿前，请阅读最有趣的投稿指南： http://www.jianshu.com/p/9da8500a57f0 投稿须知： 1.建议题材：有情节的小说、身边的故事、叙事游记、以叙事为主的回忆录、职业故事等。 2.不建议题材：连载、只有大道理的鸡汤、成功学、工具文、诗歌、观点时评类文章等。 3.文章在一千字以上，排版合理，不影响阅读体验。 4.禁止外链宣传。不得有个人微信、微信公众号、微博、豆瓣链接。 专题主编：似舞 https://www.jianshu.com/u/021585ebd561 目前【故事】专题已建有专题社群，私信主编暗号“我爱故事”，即可获得入群链接。任何投稿疑惑，写作问题，感情困难，都可以进群进行申诉，会有专人解决你的问题。
