hello, Just wondering what the way to do some kind of DbC or Modeling would be in the Erlang world. There's basic pre/post condition type stuff, but things like Eiffel, JML, Z(ed) have more to boot. Thanks for any pointers. (I haven't turned up much via googling.) sincerely.