[Java Path Finder][JPF学习笔记][1]在Windows Server上安装JPF
从这篇blog开始，准备记录下自己学习和使用JPF的经验，很多都只是官网Manual的翻译。
在这里：http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/requirements
介绍到，如果要下载JPF的source repositories，必须要使用一个名叫Mercurial的distributed version control system，但是也介绍到，对于Windows类的系统，可以使用TortoiseHg，感觉和TortoiseSVN是类似的软件。可以在这里下载：http://tortoisehg.bitbucket.org 下载时只需要注意对应版本即可。
安装好TortoiseHg以后，在自己希望保存JPF项目的目录下（如C:\Documents and Settings\Administrator\jpf\jpf-core）下点击右键，TortoiseHg--Clone，在弹出的对话框的“源”选项中输入需要安装的JPF组件的URL，如jpf-core在Mercurial repository中的安装路径为：http://babelfish.arc.nasa.gov/hg/jpf/jpf-core，然后开始下载，在漫长的等待之后，jpf-core这个组件就成功下载到本地了。
【连载，未完待续】
[Java Path Finder][JPF学习笔记][1]在Windows Server上安装JPF相关推荐
- [Java Path Finder][JPF学习笔记][2]在Windows Server上安装JPF
下载完成相应组件后,从控制台进入jpf-core安装目录(以jpf-core的安装为例,毕竟这个是必须的),如C:\Documents and Settings\Administrator\jpf\j ...
- Solr学习笔记001---solr在windows下的安装及配置
JAVA技术交流QQ群:170933152 首先,solr是基于java开发的,所以使用的话需要先进行java环境的配置,在Java环境配置好之后就可以去http://www.apache.org/d ...
- kali linux重启网络服务报错,Web安全学习笔记之在Kali Linux上安装Openvas以及启动失败修复...
现在用的kali linux是2018.1的版本,在安装openvas的时候报错,无法通过网络下载和安装openvas. 主要错误是源配置错误,可能现在用的kali很久没更新了. 一.解决和配置更新源 ...
- PCL学习笔记01：在Ubuntu上安装PCL
文章目录 一.PCL官网 二.在Ubuntu上安装PCL 三.PCL官网教程 四.溜达一圈PCL 五.PCL基本结构 (一)有组织的点云 (二)无组织的点云 六.测试PCL是否安装成功 (一)编写程序 ...
- WPF学习笔记——在“System.Windows.StaticResourceExtension”上提供值时引发了异常
在"System.Windows.StaticResourceExtension"上提供值时引发了异常 因应需要,写了一个转换器,然后窗体上引用,结果就出来这个错.编译的时候没事, ...
- Mysql学习笔记——mysql服务在win上安装与启动
1.先去下载服务包 https://dev.mysql.com/downloads/mysql/ 2.下载完成后,解压在D盘 3.添加一个配置文件,先创建文本,填写内容后改名:my.ini 内容为: ...
- JAVA基础与高级学习笔记
JAVA基础与高级学习笔记 /记录java基础与高级,除了较简单的内容,没有必要记录的没有记录外,其余的都记录了/ java初学者看这一篇就够了,全文 6万+ 字. JAVA基础 java会出现内存溢 ...
- 第10课：底实战详解使用Java开发Spark程序学习笔记
第10课:底实战详解使用Java开发Spark程序学习笔记 本期内容: 1. 为什么要使用Java? 2. 使用Java开发Spark实战 3. 使用Java开发Spark的Local和Cluster ...
- 零基础学习Java开发，这些学习笔记送给你
因为Java具备很多特点,并且在企业中被广泛应用为此很多小伙伴选择学习Java基础开发,但是零基础学习Java技术开发需要我们制定Java学习路线图对于我们之后的学习会非常有帮助. 零基础学习Java ...
最新文章
- Hibernate框架第二天
- 内核同步机制——互斥量
- 删除拼接id_轻流对接企业微信日程，实现日程创建/更改/删除
- 转发与重定向的区别,特点
- Spring(3.2.3) - Beans(11): depends-on
- SAP Analytics Path Framework的filter实现原理分析
- centos安装与配置R语言
- excel 26进制 php,记录一次华为招聘的编程题-excel中的26进制
- python程序开发总结_python开发总结
- For input string:
- linux-redis
- 论文《Learning Spatial Fusion for Single-Shot Object Detection》解读
- openresty的安装和使用
- EasyRecovery14免费版文件数据恢复还原软件
- Kolmogorov复杂性简介(转)
- SHFileOperation的用法
- 1024：程序员，你的身体还好吗？
- tplink怎么进去_怎么进入TP-Link路由器设置界面？ | 192路由网
- 【冷冻电镜|论文阅读】A feature-guided, focused 3D signal permutation method for subtomogram averaging
- Pytorch框架中余弦相似度（Cosine similarity）、欧氏距离（Euclidean distance）源码解析