Query-Based Model Checking of Ad Hoc Network Protocols

DOI10.1007/978-3-642-04081-8_40zbMath1254.68157OpenAlexW150837278MaRDI QIDQ3184703

Scott A. Smolka, Anu Singh, C. R. Ramakrishnan

Publication date: 22 October 2009

Published in: CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04081-8_40

Mathematics Subject Classification ID

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

Related Items (3)

On the Verification of Timed Ad Hoc Networks ⋮ Liveness in broadcast networks ⋮ Parameterized verification of time-sensitive models of ad hoc network protocols

Cites Work

• Automatic software model checking via constraint logic
• Equational Reasoning on Mobile Ad Hoc Networks
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Query-Based Model Checking of Ad Hoc Network Protocols