Model Checking ATL* on vCGS (2019)
Attributed to:
AutoPaSS: Automatic Verification of Complex Privacy Requirements in Unbounded-Size Secure Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://arxiv.org/abs/1903.04350
Type: Technical Report
Volume: -
Issue: -
ISBN: -