- 博客(2)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 模型验证 model checking 模型的语义保持问题
Model Checking方法是基于系统模型来进行验证,建模过程需要对系统进行抽象,那么期望行为与对应模型之间,或者所建模型与基于该模型所创建的具体系统之间,存在一个语义一致性问题,即模型与期望与真实系统之间是否语义一致的问题,或许这也是限制该方法落地应用的一个因素!? ...
2019-11-05 17:10:55
282
原创 形式化方法 模型检测技术model checking分类
根据验证对象(模型),验证性质(逻辑),验证方法来分,目前的model checking可分为如下几种: 1 基于LTS的功能性验证 2 基于离散概率模型,如Markov链的性能可靠性等验证 (Probabilistic Model Checking) 3 基于连续时间Markov链的验证 (Stochastic Model Checking) 4 基于不确定模型如Markov决策过程,交...
2019-11-03 10:58:36
1431
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人