Catalog of reliability properties for blockchains (Antithesis)
antithesis.com