Login / Signup
Modeling and Verifying Intelligent Unit Transmission Protocol Using CSP Model Checker PAT.
Zhipeng Shao
HanYong Hao
Yuanyuan Ma
Chen Wang
Jiaxuan Fei
Published in:
QRS Companion (2016)
Keyphrases
</>
model checker
model checking
formal verification
temporal logic
description language
symbolic model checking
formal methods
formal specification
constraint satisfaction problems
test suite
dynamic programming
set theory
data mining
knowledge acquisition
error rate