72 citations · 135 across the 12 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.FL2012★ 4 cited
Automatic Unbounded Verification of Alloy Specifications with Prover9
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…
cs.SE2012★ 20 cited
Bounded Model Checking of Temporal Formulas with Alloy
Alcino Cunha
Alloy is formal modeling language based on first-order relational logic, with no specific support for specifying reactive systems. We propose the usage of temporal logic to specify…