Solving the Bank, Lightweight Specification and Verification Techniques for Enterprise Software
Jouke Harmen Stoel Promotores: prof. dr. J.J. Vinju (CWI & TU/e), prof. dr. T. van der Storm (CWI & University of Groningen) Co-promotor: prof.dr. M.G.J. van den Brand (TU/e) Eindhoven University of Technology Date: 8 November, 2023 Thesis: PDF Summary Large enterprises such as banks face many challenges when it …