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 . 548-556. 10.1109/COMPSAC.2017.132

International Collaboration

cited authors

  • Tripathy, Bata Krishna; Sudhir, Ashray; Bera, Padmalochan; Rahman, Mohammad Ashiqur

authors

date/time interval

  • July 4, 2017 -

publication date

  • January 1, 2017

webpage

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