Bibliography

MIT12

Daniel Jackson: Software Abstractions: Logic, Language, and Analysis. Revised edition. MIT Press, 2012.

FSE16

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg: Lightweight specification and analysis of dynamic systems with rich configurations. In proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 373-383. ACM, 2016.

ASE18

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo: The electrum analyzer: model checking relational first-order temporal specifications. In proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, pages 884-887. ACM, 2018.

FIDE19

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo: Simulation under Arbitrary Temporal Logic Constraints. In proceedings of the 5th International Workshop on Formal Integrated Development Environment, pages 63-69, volume 310 of EPTCS. 2019.

CACM19

Daniel Jackson: Alloy: a language and tool for exploring software designs. Communications of the ACM 62(9): 66-76. ACM, 2019.

TOPLAS94

Leslie Lamport: The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems 16(3): 872-923. ACM, 1994.

FSE04

Jonathan Edwards, Daniel Jackson, Emina Torlak: A type system for object models. In proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 189-199. ACM, 2004.

LED07

Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson: Automatic Visualization of Relational Logic Models. In proceedings of the Workshop on the Layout of (Software) Engineering Diagrams, volume 7 of ECEASST. 2007.

CACM79

Ernest J. H. Chang, Rosemary Roberts: An Improved Algorithm for Decentralized Extrema-Finding in Circular Configurations of Processes. Communications of the ACM 22(5): 281-283. ACM, 1979.