×

zbMATH — the first resource for mathematics

Verification decidability of Presburger array programs. (English) Zbl 0411.68017
Proc. Conf. theoretical computer science, Waterloo/Ontario 1977, 202-212 (1977).

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03B10 Classical first-order logic