Technical content last updated 30.10.17.
This page contains the materials for the Earthquake Protection Case Study in Hybrid Event-B and Python, produced for Susan Stepney's festschrift. The Hybrid Event-B development is essentially complete in the festschrift paper, so is not included separately here. The link below gives the Python code and data for the simulations reported in the paper.