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.