Protocol Validation


The automated, formal validation of software systems continues to be an important area of research. The most significant successes to date with this methodology have been achieved in the area of distributed systems, and the area of data communication protocols in particular. This field was first studied in the late nineteen seventies, initially with rather… (More)

2 Figures and Tables


  • Presentations referencing similar topics