×

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

Citations:

Zbl 0404.00019