This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
SoSyM
sosym.org
did:plc:ybqzaedcp3gfphbv4scrhmk2
#OnlineFirst
Automated construction of predicate abstractions for smart contract validation
Javier Godoy, Eden Torres, Juan P. Galeotti, Diego Garbervetsky & Sebastian Uchitel
https://doi.org/10.1007/s10270-025-01333-x
2025-10-28T05:18:22.856Z