72 citations · 97 across the 10 of their papers we have counts for
1 paper · 1 filter
Nuno Macedo, Alcino Cunha
Alloy and TLA+ are two formal specification languages that are increasingly popular due to their simplicity and flexibility, as well as the effectiveness of their companion model c…