Full contract verification for ATL using symbolic execution

Overview of attention for article published in Software and Systems Modeling, July 2016

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 1,177 followers.

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

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.