Nazim Sebih

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Software Model Checking of UDP-based Distributed Applications. Abstract—We extend exhaustive verification of networked applications to applications using the User Datagram Protocol (UDP). UDP maximizes performance by omitting flow control and connection handling. High-performance services often offer a UDP mode in which they handle connections internally(More)
  • 1