Automatically Verifying Expressive Epistemic Properties of Programs (2023)
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://openresearch.surrey.ac.uk/esploro/outputs/99723166602346?institution=44SUR_INST&skipUsageReporting=true&recordUsage=false
Type: Conference/Paper/Proceeding/Abstract
Volume: 37th AAAI Conference on Artificial Intelligence (AAAI-23)
Issue: -
ISSN: 11111111