Towards Verified Systems | lit.salon