Verification Decidability of Presburger Array Programs.

Norihisa Suzuki David Jefferson

Published in: J. ACM (1980)

Keyphrases

symbolic execution
description logics
model checking
hardware designs
automatic programming
neural network
deductive databases
fixpoint
databases
information systems
query answering
static analysis
formal verification
program execution
concurrent systems
functional verification