There are efforts by Microsoft Research in this direction: http://research.microsoft.com/en-us/projects/slam/ http://research.microsoft.com/en-us/projects/slam/

There are efforts by Microsoft Research in this direction: http://research.microsoft.com/en-us/projects/slam/ http://research.microsoft.com/en-us/projects/slam/ They have developed several domain specific languages and specification tools for developing drivers. I think similar methods are applicable to protocols.