72 citations · 135 across the 12 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SE2019★ 5 cited
Simulation under Arbitrary Temporal Logic Constraints
Julien Brunel, David Chemouil, Alcino Cunha +1
Most model checkers provide a useful simulation mode, that allows users to explore the set of possible behaviours by interactively picking at each state which event to execute next…
cs.CY2019
Sharing and Learning Alloy on the Web
Nuno Macedo, Alcino Cunha, José Pereira +5
We present Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances, to be used mainly in an educational context. By introducing the notio…