Changes between Version 43 and Version 44 of inspector
- Timestamp:
- Nov 18, 2018 1:10:39 PM (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
inspector
v43 v44 36 36 * Automatic elaboration of the instance model 37 37 * Assurance cases online verification 38 * Logical AADL Model Processing ( LAMP) online prolog engine38 * Logical AADL Model Processing ([wiki:lamp LAMP]) online prolog engine 39 39 * Predefined libraries to access AADL model entities 40 40 * LAMP Annexes in AADL packages (verification rules)