Wireless protocol validation under uncertainty

DOI10.1007/S10703-017-0309-4MaRDI QIDQ1667647zbMATH OpenOpenAlexFDO

Authors Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen

Publication date 30 August 2018

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-017-0309-4

zbMATH Keywords

uncertaintyruntime verificationsnifferwireless protocol

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Recommendations

• One step forward: linking wireless self-organizing network validation techniques with formal testing approaches
• Protocol validation — principles and applications
• Reproducing consistent wireless protocol performance across environments
• Validating and Securing Spontaneous Associations between Wireless Devices
• Distributed embedded systems -- validation strategies.

Cites work

• A theory of timed automata
• Quantitative monitoring of STL with edit distance
• Survey on Directed Model Checking

Cited in

(5)

• scientific article; zbMATH DE number 2088662 (Why is no real title available?)
• Monitorability for the Hennessy-Milner logic with recursion
• Validating and Securing Spontaneous Associations between Wireless Devices
• One step forward: linking wireless self-organizing network validation techniques with formal testing approaches
• Introduction to the special issue on runtime verification

Describes a project that uses

Uses Software

• Angelic Verification
• ns-3
• veriSoft

This page was built for publication: Wireless protocol validation under uncertainty

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1667647)