Seminar Automata and Applications: Static analysis of Michelson smart-contracts using abstract interpretation
Vincent Botbol will give a talk on “Static analysis of Michelson smart-contracts using abstract interpretation” during the seminar of the Automata and Application group. More information here: https://www.lre.epita.fr/automata_seminars/