An approach to verification and validation of a reliable multicasting protocol

This publication has 8 references indexed in Scilit:

• Requirements specification for process-control systems
  IEEE Transactions on Software Engineering, 1994
• Symbolic model checking for sequential circuit verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Modechart: a specification language for real-time systems
  IEEE Transactions on Software Engineering, 1994
• Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method
  IEEE Transactions on Software Engineering, 1994
• Formal methods for protocol testing: a detailed study
  IEEE Transactions on Software Engineering, 1989
• Multicast routing in internetworks and extended LANs
  Published by Association for Computing Machinery (ACM) ,1988
• Reliable broadcast protocols
  ACM Transactions on Computer Systems, 1984
• Specifying Software Requirements for Complex Systems: New Techniques and Their Application
  IEEE Transactions on Software Engineering, 1980