A report on reliable software and communication

  title={A report on reliable software and communication},
  • Published 2000
We discuss the general state of affairs in a variety of related areas ranging from software safety, reliability and testing, protocol specification and verification, network congestion-control and reliability, to communication security and complexity. We intend to identify useful theory and tools, point out connections between different areas, and to a large extent, raise a number of questions whose answers may still lie far beyond the limits of our current knowledge. Some of these areas are… CONTINUE READING