11 citations · 22 across the 4 of their papers we have counts for
1 paper · 1 filter
Rui Couto, José C. Campos, Nuno Macedo +1
Alloy is a lightweight formal specification language, supported by an IDE, which has proven well-suited for reasoning about software design in early development stages. The IDE pro…