data.zip (35.04 kB)
Download fileSupplementary material for publication "Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks"
This dataset contains supplementary material for the publication
F. Heidarian, J. Schmaltz and F.W. Vaandrager. Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. In Theoretical Computer Science 413:87-105, 2012. QAPL'10 special issue.
The following data are included:
1. A Uppaal model of the WSN protocol
2. A manual proof of correctness of the protocol
3. The sources of an Isabelle proof of correctness of the protocol