New Article: "Predicate Abstractions for Smart Contract Validation"

Submitted by jgaleotti on 09/22

The article "Predicate Abstractions for Smart Contract Validation" by Javier Godoy, Diego Garbervetsky, Juan Pablo Galeotti and Sebastian Uchitel was accepted for publication at the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS),

Language Undefined