|
|
|
|
|
|
by a8000
4434 days ago
|
|
|
There are efforts by Microsoft Research in this direction:
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. |
|
|