Feature Request: AGREE and SpeAR Interoperability

loonwerks / formal-methods-workbench

Other

20 stars 7 forks source link

Feature Request: AGREE and SpeAR Interoperability #10

Open jendavis opened 5 years ago

jendavis commented 5 years ago

It would be great to have interoperability between AADL/AGREE and SpeAR, either in the form of translation between the two languages/tools, or perhaps by supporting the SpeAR language as an alternate syntax for AGREE.