Formal Verification

2 Articles 0 Followers

WhylSon: automating formal verification on Tezos smartcontracts

11 Jun 2020 1 minute read 1 comment Allen Walters

Smartcontracts need to do as designed and perform without any errors. Especially when they carry high value transactions. For this purpose, the native smartcontract language in Tezos, offers something that is called "formal verification". It enables...

WhylSon: automating formal verification on Tezos smartcontracts

The IMDEA Software Institute starts to contribute to the Tezos ecosystem

10 Jun 2020 2 minute read 0 comments Allen Walters

The iMdea Software Institute The partnership with the iMdea Software Institute was announced some time ago. The iMdea research institute is one of the seven research centers that form the iMdea initiative. The iMdea initiative "is a project founded b...