data.zip (35.04 kB)

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

Download (35.04 kB)
dataset
posted on 17.07.2014, 00:00 by Frits Vaandrager
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

History

Publisher

Radboud University

Time coverage

2012

Format

media types: application/octet-stream, application/zip, text/plain, text/xml

Exports