[Tinyos-help] Using SPIN to verify TinyOS protocols

[DeveshChhabildas Jinwala]

Hello All

I was just wondering - Has anybody tried using SPIN (with PROMELA as a
modeling language) to verify the protocols used in TinyOS/TinySec i.e.
suppose I wish to verify the protocol used by TinySEC_Auth mode for ensuring
message integrity, is it possible using SPIN. Any pointers, please ?!!......

TKS n RGDS
-- 
-********************************************************
Devesh C Jinwala,
Assistant Professor in Computer Engineering,
Sardar Vallabhbhai  National Institute of Technology, Surat, INDIA - 395 007
Tel: +91-261-3055610 (R); +91-261-2228394 (O); Cell: 09426611777
********************************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.millennium.berkeley.edu/pipermail/tinyos-help/attachments/20070503/f9285db7/attachment.html