Protocol Validation

Abstract

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

Topics

  • Presentations referencing similar topics