---

date: 2017-06-07 title: Documentation

Access to the documentation of the initial OpenCert package produced by the AMASS partners

---

User Manual:
OpenCert_UserManual_07062017.pdf

Developer Manual:
OpenCert_DeveloperGuide_07062017.pdf

---

Related documentation

• AMASS Project Deliverables: http://www.amass-ecsel.eu/content/deliverables
• CHESS User Guide: https://www.polarsys.org/chess/publis/CHESSToolset_UserGuide.pdf
• EPF User Manual: https://eclipse.org/epf/general/EPF_Installation_Tutorial_User_Manual.pdf
• Structured Assurance Case Metamodel™ (SACM™) Standard: http://www.omg.org/spec/SACM/