/amdlc

A compiler for the AMDL stateful network verification language

Primary LanguageOCamlMIT LicenseMIT

amdlc

A compiler for the AMDL stateful network verification language

AMDL Compiler version 0.1

LIMITATION:

  • Predefined packet fields only (src, dst, tpe)
  • Predefined types in relations (Host, Type)
  • No equalities
  • No error reporting

amdlc developer help:

  • ocamldebug: set arguments tests/

Paper

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.