DatasetSupplementary material for publication "Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks"

?titleSupplementary material for publication "Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks"
?creatorVaandrager, F.W. (Frits)
?date accepted2014
?date published2014
?description
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
?languageen
?publisherRadboud University
?subjectformal verification ● Isabelle ● proof assistant ● timed automata model checking ● Uppaal ● wireless sensor network
?time coverage2012
? ▲ in collection
?related publicationnew windowdx.doi.org/10.1016/j.tcs.2011.07.018
DATA
+bag-info
contents of this dataset:
DATA/WSN.q
DATA/WSN.xml
DATA/chess_wsn.thy
DATA/wsn.txt
▲top of page▲