Norms

eFlint

A domain-specific language for executable norm specifications