Query-Based Model Checking of Ad Hoc Network Protocols

DOI10.1007/978-3-642-04081-8_40MaRDI QIDQ3184703zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• Model checking mobile ad hoc networks
• Parameterized verification of ad hoc networks
• Verification of mobile ad hoc networks: an algebraic approach
• Parameterized verification of time-sensitive models of ad hoc network protocols
• On the Verification of Timed Ad Hoc Networks

Cites work

• Automatic software model checking via constraint logic
• Equational reasoning on mobile ad hoc networks
• scientific article; zbMATH DE number 1617315 (Why is no real title available?)
• scientific article; zbMATH DE number 1615250 (Why is no real title available?)
• scientific article; zbMATH DE number 1670794 (Why is no real title available?)

Cited in

(8)

• Model checking mobile ad hoc networks
• Liveness in broadcast networks
• On the power of cliques in the parameterized verification of ad hoc networks
• On the Verification of Timed Ad Hoc Networks
• Modeling and verifying ad hoc routing protocols
• Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
• Formal methods for mobile ad hoc networks: a survey
• Parameterized verification of time-sensitive models of ad hoc network protocols

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

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