5 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
Nuno Macedo, Alcino Cunha
Alloy is an increasingly popular lightweight specification language based on relational logic. Alloy models can be automatically verified within a bounded scope using off-the-shelf…