WRiPE 2012
The 2nd International Workshop
on Rigorous Protocol Engineering

30 October 2012
Austin, Texas, USA
Co-located with ICNP 2012


The increased performance and maturity of verification techniques, including the use of tools such as model checkers, theorem provers, and SAT/SMT solvers, provides a rich set of techniques that could be applied to the area of networking.

Unfortunately these techniques are rarely used in practice.

WRiPE is an inter-disciplinary workshop that seeks to bring together researchers from the networking, formal methods, and programming languages communities to discuss current research on rigorous network protocol design and implementation.

The goal of the workshop is to reinvigorate and revitalize the application of formal methods to the design, analysis, and implementation of protocols.

Image credit jimnix.