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 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