Frits Vaandrager (2014): Supplementary material for publication "Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks". Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/uuid:bfbd480d-1b49-4494-ad2c-0a5caa383354

Dataset

• Communications Technologies

formal verification, Isabelle, proof assistant, timed automata model checking, Uppaal, wireless sensor network

2012

4TU General Terms of Use

RefWorks, BibTeX, Reference Manager, Endnote, DataCite, NLM, DC, CFF

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

• 2014-07-17 first online, published, posted

Radboud University

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

• https://doi.org/10.1016/j.tcs.2011.07.018