×

zbMATH — the first resource for mathematics

Model existence theorem in algorithmic logic with non-deterministic programs. (English) Zbl 0439.68025

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
68Q65 Abstract data types; algebraic specification
PDF BibTeX XML Cite