基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic).
Yanchun LiXiaojuan LiYong GuanRui WangJie ZhangHongxing WeiPublished in: 计算机科学 (2016)
Keyphrases
- formal verification
- model checker
- bounded model checking
- model checking
- automated verification
- temporal logic
- symbolic model checking
- modal logic
- program slicing
- classical logic
- formal methods
- functional verification
- multi valued
- credit card
- credit scoring
- logistic regression
- fuzzy logic
- state space
- web services
- knowledge base
- artificial intelligence