Formal Modelling and Verification of Requirements of Adaptive Routing Protocol for Mobile Ad-Hoc Network Conference

Tripathy, Bata Krishna, Sudhir, Ashray, Bera, Padmalochan et al. (2017). Formal Modelling and Verification of Requirements of Adaptive Routing Protocol for Mobile Ad-Hoc Network . 2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 548-556. 10.1109/COMPSAC.2017.132

International Collaboration

keywords

  • Computer Science
  • Computer Science, Interdisciplinary Applications
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • Formal modelling
  • Formal verification
  • Mobile Ad-Hoc Network (MANET)
  • Routing protocol
  • SMT-LIB
  • Science & Technology
  • Technology
  • Yices SMT Solver

Location

  • Torino, ITALY

Digital Object Identifier (DOI)

Conference

  • 41st IEEE Annual Computer Software and Applications Conference (COMPSAC)

publisher

  • IEEE

start page

  • 548

end page

  • 556