openEuler 论坛
请问openEuler在验证多线程等问题时用什么做model checking?
Other 其他技术问题
cluo29
(又要沉了)
2023 年10 月 24 日 07:35
1
请问openEuler在验证多线程等问题时用什么做model checking?
相关话题
话题
回复
浏览量
时间点
openEuler是否通过中国电科院检测认证
Other 其他技术问题
提问求助
0
123
2024 年10 月 21 日
openEuler在多核设备可不可以用不同的CPU同时读写GPU显存？读写NPU呢？
Other 其他技术问题
0
989
2023 年10 月 21 日
建议openEuler能否提供信创互认证，这样对生态链提升会有很大帮助
Other 其他技术问题
0
120
2025 年1 月 7 日
应用支持
Other 其他技术问题
0
102
2024 年8 月 10 日
[求助x2openEuler工具]迁移欧拉20.03LTS SP4到22.03问题
Migration 迁移
0
18
2026 年3 月 4 日