×

zbMATH — the first resource for mathematics

Verification conditions as programs. (English) Zbl 0403.68015
Automata, languages and programming, 3rd int. Colloq. Edinburgh 1976, 99-119 (1976).

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)