Formal Techniques for the Analysis of Wireless Networks

Authors:
A. K. McIver;A. Fehnker
Affiliations:
-;-
Venue:
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Year:
2006

Citing 0
Cited 6

Formal analysis techniques for gossiping protocols

ACM SIGOPS Operating Systems Review - Gossip-based computer networking
Depletable channels: dynamics and behaviour

FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches

ACM Computing Surveys (CSUR)
Formal analysis of a scheduling algorithm for wireless sensor networks

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Achieving resilience of heterogeneous networks through predictive, formal analysis

Proceedings of the 2nd ACM international conference on High confidence networked systems
Formal development of wireless sensor-actor networks

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

When developing products or solutions in industry and assessing their quality, formal methods provide the most rigorous tools for checking for safety and security flaws. In this talk we share our first-hand general experience in this area, and furthermore ...