Chris Johnson, Index

---

Conclusion

• Requirements document:
  explain what system should do.
  
  
  
• Safety cases:
  explain why it meets requirements.

---