Sign in
On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications.
Rui Zhou
Chanjuan Li
Rong Min
Qi Yu
Fei Gu
Qingguo Zhou
Jason C. Hung
Kuan-Ching Li
Xuan Wang
Published in:
J. Supercomput. (2014)
Keyphrases
</>
formal verification
safety critical
real time
communication protocol
embedded systems
formal methods
model checking
model checker
fault tolerant
support systems
regulatory requirements
symbolic model checking
design patterns