November 3, 2021
Diego Garbervetsky
A significant proportion of classes in modern software introduce or use object protocols, prescriptions on the temporal orderings of method calls on objects. In this talk I will introduce a particular abstraction of object protocols (enabledness preserving abstractions, EPAs). We have been using EPAs for validation of specifications and programs featuring rich protocols and more recently for test case generation techniques. During this talk I will focus on using EPA for testing and some initial attempts to validate smart contracts.