Lightning User Guide
Lightning is a plugin which was first designed to investigate the use of lightweight formal methods (such as Alloy) in the definition of software languages.
We will thus regularly enhanced it with new features resulting from our research in the domain.