314 followers
Full contract verification for ATL using symbolic execution | Springer for Research & Development https://t.co/U1VInRDLxM
Full contract verification for ATL using symbolic execution | Springer for Research & Development https://t.co/U1VInRDLxM
#OnlineFirst: Full contract verification for ATL using symbolic execution; B. Oakes, J. Troya, L. Lúcio, M. Wimmer; https://t.co/9JzWatjxUs