Formal Analysis of Lending Pools in Decentralized Finance. - Massimo Bartoletti; James Hsin-yu Chiang; Tommi A. Junttila; Alberto Lluch-Lafuente; Massimiliano Mirelli; Andrea Vandin (ISoLA (3), 2022)