A compiler for the AMDL stateful network verification language
- Predefined packet fields only (src, dst, tpe)
- Predefined types in relations (Host, Type)
- No equalities
- No error reporting
- ocamldebug: set arguments tests/
Alpernas, K., Manevich, R., Panda, A., Sagiv, M., Shenker, S., Shoham, S. and Velner, Y., 2018, August. Abstract interpretation of stateful networks. In International Static Analysis Symposium (pp. 86-106). Springer, Cham.