Towards verified systems | lit.salon