= LAMP =

LAMP stands for Logical AADL Model Processing.
Its aim is to provide an inline, comprehensive, rigorous, flexible and user friendly solution to explore and analyse AADL models.
It is an alternate solution to REAL, LUTE, AGREE and RESOLUTE altogether.