# Basic code generation (no protocol management)
# Type checking and protocol management
# Protocol state machines# ('''IN PROGRESS''') Protocol state machines# <font color="gray">Full dynamic safety checking</font>
# <font color="gray">Static analysis of code implementing IPDL interfaces</font>
# <font color="gray">Model checking of inter-protocol interactions</font>