Formal models of stepwise refinements of programs

DOI10.1145/27632.28054zbMath0617.68009OpenAlexW2034529357MaRDI QIDQ4727399

Jules Desharnais, Jean-Raymond Gagné, Ali Milli

Publication date: 1986

Published in: ACM Computing Surveys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/27632.28054

zbMATH Keywords

verificationprogram specificationsiteration rulegeneralization ruleassignment rulealternation ruleassertion-based specificationsfunction-based specificationsrelation-based specificationssequence rule

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

This page was built for publication: Formal models of stepwise refinements of programs