ge-high-assurance/VERDICT

New VDM to CSV translator

Closed this issue · 0 comments

baoluomeng commented

Implement a new translator from VDM to CSV

  • Refer to the current AADL to CSV translator