A formally defined and formally provable EBNF-based constraint language for use in qualifiable software.

Vanessa Tietz, Bjrn Annighfer

Browse the full MODELS paper archive.