Automatically Verifying Expressive Epistemic Properties of Programs.

Francesco Belardinelli Ioana Boureanu Vadim Malvone Fortunat Rajaona

Published in: AAAI (2023)

Keyphrases

automatically generated
imperative programs
database
structural properties
desirable properties
belief change
control program