New Article: "Predicate Abstractions for Smart Contract Validation"

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),