3 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.PL2021★ 3 cited
Making Tezos smart contracts more reliable with Coq
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret +3
Tezos is a smart-contract blockchain. Tezos smart contracts are written in a low-level stack-based language called Michelson. This article gives an overview of efforts using the Co…
cs.SE2019★ 3 cited
Formal methods and software engineering for DL. Security, safety and productivity for DL systems development
Gaetan J. D. R. Hains, Arvid Jakobsson, Youry Khmelevsky
Deep Learning (DL) techniques are now widespread and being integrated into many important systems. Their classification and recognition abilities ensure their relevance for multipl…