Finalize the list of tools tutorials

GaloisInc / CASE-AADL-Tutorial

A Tutorial for tools developed on the DARPA CASE program

BSD 3-Clause "New" or "Revised" License

5 stars 2 forks source link

Closed zutshi closed 1 year ago

zutshi commented 1 year ago

mbeynon commented 1 year ago

The slightly revised tool list is here, in the email to tool creators.

Based on our understanding of license terms, the following tools are included: HAMR AGREE VERDICT BriefCASE RESOLUTE

The following tools are not open source and will be excluded: GearCASE CAMET DCRYPPS

mbeynon commented 1 year ago

As reported today in team sync, DCRYPPS is indeed open source and will be included, so your original list was correct.