TY - DATA
T1 - Supplementary material for publication "Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks"
PY - 2014/07/17
AU - Frits Vaandrager
UR - https://data.4tu.nl/articles/dataset/Supplementary_material_for_publication_Analysis_of_a_Clock_Synchronization_Protocol_for_Wireless_Sensor_Networks_/12714281/1
DO - 10.4121/uuid:bfbd480d-1b49-4494-ad2c-0a5caa383354
KW - Isabelle
KW - Uppaal
KW - formal verification
KW - proof assistant
KW - timed automata model checking
KW - wireless sensor network
N2 - 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
ER -