Confirmed users
699
edits
IPDL: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 7: | Line 7: | ||
# Basic code generation (no protocol management) | # Basic code generation (no protocol management) | ||
# Type checking and protocol management | # Type checking and protocol management | ||
# ('''IN PROGRESS''') | # Protocol state machines | ||
# ('''IN PROGRESS''') Full dynamic safety checking | |||
# <font color="gray">Static analysis of code implementing IPDL interfaces</font> | # <font color="gray">Static analysis of code implementing IPDL interfaces</font> | ||
# <font color="gray">Model checking of inter-protocol interactions</font> | # <font color="gray">Model checking of inter-protocol interactions</font> | ||