- 博客(4)
- 收藏
- 关注
RSS订阅原创 【uppaal笔记】uppaal介绍-以fischer互斥demo和一个imply规约为例
概述了UPPAAL作为实时系统建模、模拟与验证工具的关键特性。在安装与使用部分，介绍了基于JVM的多平台发布，以及获取许可证的过程。通过Fischer互斥算法的例子，展示了UPPAAL的项目目录结构、状态机定义、局部声明、模型声明以及模拟器和验证器的使用。此外，文章还解释了UPPAAL中状态机的Location与Edge机制，以及urgent channel的特殊行为，进一步强调了UPPAAL在处理实时系统活性属性方面的强大功能。
2024-07-16 17:01:34
631
原创 【nuxmv笔记】nuxmv 模型检查里一个简单的模拟example
软件验证领域和模型检查的工具 nuxmv 的一个简单使用示例，主要介绍了工具的配置、运行、LTL和CTL规约验证过程。
2024-07-11 18:04:54
1998
原创 [debug笔记] 从pkgutil错误到sudo的原理
在尝试使用 `sudo pip install` 在服务器上安装包时，遇到了与 `pkgutil` 和 pip 版本相关的错误。此错误源于低版本的 pip 使用了已废弃的 `pkgutil.ImpImporter`。更新 `pip` 和 `setuptools` 通常可以解决问题。但使用 `sudo` 时，由于命令默认用 root 的环境而非当前激活的conda 环境，更新可能无效。
2024-07-03 01:58:59
679
原创 [课题] 安卓隐私政策分析笔记—PolicyLint/PoliCheck
安卓隐私政策分析领域的课题笔记。讨论了PolicyLint、PoliCheck、PoliGraph等论文。
2024-07-01 15:49:07
830
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人