[GitHub] [incubator-teaclave] mssun commented on issue #453: formal specification and verification for teaclave access control module

[GitBox <gi...@apache.org>]

mssun commented on issue #453:
URL: https://github.com/apache/incubator-teaclave/issues/453#issuecomment-763378284


   Thanks for your proposal. Sorry for the late reply. Can you provide a simple example to clarify your goal. More specifically, I'd like to see what kind of outputs you will contribute (e.g., formal document, proof, and readme to reproduce). Please try your best to list them. The followup question is about how to integrate your contributions into the project. If you have can provide several sample repositories on how to open source specifications, that would be very helpful.
   


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org



---------------------------------------------------------------------
To unsubscribe, e-mail: notifications-unsubscribe@teaclave.apache.org
For additional commands, e-mail: notifications-help@teaclave.apache.org