Revise the documents with respect to the reviewer comments

researchart / rose6icse

12 stars 71 forks source link

Closed zbchen closed 4 years ago

zbchen commented 4 years ago

Our issue is https://github.com/researchart/rose6icse/issues/26. The name is "Zhenbang: Symbolic Verification of Message Passing Interface Programs".

We have slightly revised the documents according to the suggestions from the reviewers.

Best,

Zhenbang