On Writing Alloy Models: Metrics and a New DatasetAlloy Formal Methods Model Analysis Formal Specification
