scientific article; zbMATH DE number 3801523

zbMath0508.03021MaRDI QIDQ4745815

Jerzy Tiuryn

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completeness theoremlogic of programsalgorithmic propertyeffective definitions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of numerations, effectively presented structures (03D45)

Related Items

Floyd's principle, correctness theories and program equivalence