Wireless protocol validation under uncertainty

DOI10.1007/s10703-017-0309-4zbMath1394.68027OpenAlexW4237398903MaRDI QIDQ1667647

Shuvendu K. Lahiri, Ranveer Chandra, Jinghao Shi, 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)

Related Items (2)

Monitorability for the Hennessy-Milner logic with recursion ⋮ Introduction to the special issue on runtime verification

Uses Software

• veriSoft
• ns-3
• Angelic Verification

Cites Work

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

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