Changes between Version 6 and Version 7 of lamp


Ignore:
Timestamp:
Jan 30, 2020 7:23:50 PM (4 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • lamp

    v6 v7  
    44LAMP is an AADL annex sub-language that stands for Logic AADL Model Processing.[[BR]]
    55Its aim is to provide an inline, comprehensive, rigorous, flexible, powerful and user friendly solution to process AADL models.[[BR]]
    6 It is an alternate solution to REAL, LUTE, AGREE and RESOLUTE altogether.[[BR]]
     6It is an alternate solution to REAL, LUTE and RESOLUTE altogether.[[BR]]
    77LAMP enables the creation of user defined assurance case processing tools [[BR]]
    88that are embedded within the [wiki:AADL AADL] model and leveraged by the power of the [wiki:LMP LMP] technology.[[BR]]