Modeling Session Initiation Protocol with Extended Finite State Machines

Abstract

Formal specification are indispensable for computer-aided verification and testing of communication protocols. However, a large number of the practical protocols have only informal specifications, mostly in English. There are no general procedures to derive formal specifications from such informal specification. In this paper we model session initiation… (More)
DOI: 10.1109/PDCAT.2007.17

1 Figure or Table

Topics

  • Presentations referencing similar topics