10月的BBlog in 2021
十月，金秋时节，我的最爱。
2021-10-12021年10月1日 星期五 天气 晴 心情 舒适
今天是国庆，举国欢庆。
2021-10-22021年10月2日 星期六 天气 晴 心情 舒适
今天是国庆& ...
关于AADL的一些笔记
AADL:
Architecture Analysis and Design Language
架构分析与设计语言
Background任务和安全关键系统的软件，如飞机上的航空电子系统，越来越大，越来越昂贵。架构分析和设计语言（ ...
9月任务清单及进展
认真小刘列9月任务清单了，好好学习，天天向上，希望月底能把8月没勾上的任务都勾上✌。
学习使用kind2对模型进行验证。
学习Lustre V6的使用。
了 ...
9月的BBlog in 2021
研二了。💪
2021-9-22021年9月2日 星期四 天气 阴 心情 舒适
不知不觉到了开学季的9月，而我即将以研二的身份做进一步研究。
理想很美好，现实很残酷̀ ...
Linux系统虚拟机运行Kind2
本文主要尝试运行一个kind2的例子，来展示kind2的验证效果。
Kind2Kind2是一个多引擎、并行、基于SMT的自动模型检查工具，用于Lustre程序的安全性验证。
Kind2是一 ...
Ubuntu18.04下Z3求解器安装教程
转载自：ubuntu18.04下安装Z3
系统：Ubuntu 18.04安装对象：Z3Z3属于SMT Solver
安装过程如下：
Choice 1. Building Z3 using make and GCC
1$ git clone https://github.com/Z3Prover/z3.git
12$ cd z3$ python scripts/mk_make.py
123$ cd build$ make$ sudo make install
等待时间较长。
Choice 2. Building Z3 using make an ...
Docker常用命令
转载自：Docker入门教程（二）命令
可参考：Docker常用命令
本文中，我们将学习15个Docker命令以及命令的用法和功能，并通过实践学习它是如何工作的。
...
Linux系统kind2安装教程
Kind2Kind2是一个多引擎、并行、基于SMT的自动模型检查工具，用于Lustre程序的安全性验证。
Kind2是一个命令行工具，接受一个Lustre文件作为输入，输出所有输Q ...
Windows系统 VMware Workstation 16安装教程
软件获取
官网：下载 VMware Workstation Pro | CN
安装
以管理员身份运行下载的VMware-workstation-full-16.1.2-xxx.exe。
更改安装位置：
取消两项勾选。
安装。
点击许可证，输入密钥。
完& ...