Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines.

Klaus-Dieter Schewe

Published in: ICFEM (2019)

Keyphrases

first order logic
higher order
moment invariants
dynamic analysis
quantifier elimination
database
access control
consistency checking
stochastic dominance
quasi invariant
multiscale
pattern recognition
constraint programming
maintaining consistency
imperative programs