loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

GearCASE and DCRYPPS Installation package download location #36

Open niuzhi opened 2 years ago

niuzhi commented 2 years ago

Hello I'm learning Briefcase according to Collins BriefCASE User's Guide, Importing requirements from a file I can't find the GearCase button, I searched for a long time and couldn't find the GearCase installation package, can you tell me where to download the GearCase installation package and how to install GearCase in OSATE2 ?

202208191012570252160310169081FD