During this secondment I worked with Dr Antonio Ravara and Dr Hernan Melgratti in application of behavioural description to the static analysis of Smart Contracts.  To do so, we deeply

During this secondment we worked on the usage of behavioural descriptions for the static analysis of smart contracts. The goal is to combine the tools and techniques previously developed by

We have worked on the development of techniques for the verification of APIs of data implemented on top of eventual consistent data stores. In particular, we addressed the verification of