FPTC: Automated Safety Analysis for Domain-Specific Languages.

Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke

Browse the full MODELS paper archive.