Logical Characterization of Coherent Uninterpreted Programs.

Hari Govind V. K.Sharon Shoham Arie Gurfinkel

Published in: FMCAD (2021)

Keyphrases

logical representation
axiomatic characterization
real world
dynamic logic
data sets
databases
image processing
high level
fixpoint