Full contract verification for ATL using symbolic execution
Crossref DOI link: https://doi.org/10.1007/s10270-016-0548-7
Published Online: 2016-07-27
Published Print: 2018-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Oakes, Bentley James
Troya, Javier
LĂșcio, Levi
Wimmer, Manuel
Funding for this research was provided by:
TAPAS (TIN2012-32273)
THEOS (TIC-5906)
COPAS (P12-TIC-1867)
License valid from 2016-07-27