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

Usage statistics

Categories

• Communications Technologies

Keywords

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

Time coverage

2012

Licence

4TU General Terms of Use

Export as...

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

History

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

Publisher

Radboud University

Format

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

References

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