[Pl-seminar] 11/13: Jonathan Schuster, "Protocol Engineering: An Overview"

[Vincent St-Amour]

Reminder: Jon is speaking at 11:45.

Vincent


At Fri, 08 Nov 2013 16:39:55 -0500,
Vincent St-Amour wrote:
> 
> 
> NUPRL Seminar presents
> 
> Jonathan Schuster
> NUPRL
> 
> 11:45 - 1:30
> Wednesday, 11/13
> Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)
> 
> Protocol Engineering: An Overview
> 
> As the Internet takes a more central role in our use of computer
> technology, the communication protocols underlying it are becoming
> increasingly important for its proper functioning and performance.
> However, their specifications are typically given in informal prose,
> leading to all sorts of bugs and interoperability issues. The field of
> protocol engineering aims to solve this problem by defining formal
> specifications for protocols, much like formal semantics for programming
> languages. This allows for more rigorous and bug-free design,
> verification, implementation, and testing of protocols. In this talk, I
> will give an overview of the state of the art in protocol engineering,
> focusing on formal description techniques and the benefits they provide.
> 
> _______________________________________________
> pl-seminar mailing list
> pl-seminar at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-seminar