Journals
Publish with us
Publishing partnerships
About us
Blog
International Scholarly Research Notices
Table of Contents
International Scholarly Research Notices
/
2014
/
Article
/
Alg 1
/
Research Article
On Formal and Automatic Security Verification of WSN Transport Protocols
Algorithm 1
P
AT code:
#define violategoal2 (freenum > acknum)
B5. #assert SDTPsubA1subA2() reaches violategoal2
B6. #assert SDTPA1A2() reaches violategoal2