search

islet-project / islet

An on-device confidential computing platform
Apache License 2.0
91 stars 16 forks source link

doc: Add islet-model-checking report #343

Closed zpzigi754 closed 2 months ago

zpzigi754 commented 2 months ago

This PR adds Islet's model-checking report, summarizing overall works and results. @bokdeuk-jeong has suggested to release this report to the public.

The rendered version can be temporarily found here.

zpzigi754 commented 2 months ago

Could you relate it to the existing document? https://github.com/islet-project/islet/blob/main/doc/getting-started/verification.md It is linked from SUMMARY. https://github.com/islet-project/islet/blob/main/doc/SUMMARY.md

I've linked the report to the menu and the existing document as suggested.