At the upcoming ABZ’23 conference Nuno Macedo and myself will give a short tutorial about “Teaching Alloy with Alloy4Fun”. If you are currently teaching (or planning to teach) Alloy please consider attending!
There will also be a few Alloy related presentations:
- “Task Model Design and Analysis with Alloy” by Alcino Cunha, Nuno Macedo, and Eunsuk Kang.
- “Crucible Tools for Test Generation and Advanced Animation of Alloy Models” by Thomas Wilson and Stuart Matthews.
- “Adding records to Alloy” by Julien Brunel, David Chemouil, Alcino Cunha, and Nuno Macedo.
- “Verifying temporal relational models with Pardinus” by Nuno Macedo, Julien Brunel, David Chemouil, and Alcino Cunha. This will be a presentation of a previously published journal article about Pardinus, the analysis engine of Alloy 6.
The full program of the conference can be found here.