Formal specs as sets of behaviors (via amw-zero) — discussion

#formalmethods