Codes for this section are here :

https://github.com/csepracticals/SerVerDesign