Tags apalache5 conference4 consensus4 devcon1 development3 dss1 ethereum foundation2 fuzzing1 grant2 matter labs4 model checking6 monitoring1 open source2 paper3 quint6 research6 runtime monitoring1 security1 simulation5 smart contracts1 smt1 solidity1 specification8 stellar3 talk4 TLA+8 tool4 verification9