scientific article; zbMATH DE number 3995020

zbMath0614.68002MaRDI QIDQ4721623

David Gries

Publication date: 1987

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

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items

Assumption propagation through annotated programs, Traits: correctness-by-construction for free, Verifying data- and control-oriented properties combining static and runtime verification: theory and tools, Flexible Correct-by-Construction Programming, Verification conditions for source-level imperative programs, Verification and falsification of programs with loops using predicate abstraction, Combining Top-Down and Bottom-Up Techniques in Program Derivation, A comparison of tools for teaching formal software verification