Strongest invariant functions: Their use in the systematic analysis of while statements

Ali Mili, Jules Desharnais, Jean Raymond Gagné

Research output: Contribution to journalArticlepeer-review

18 Scopus citations


Strongest invariant functions, a useful tool in the analysis of while statements, are defined and discussed. Their relationships to loop invariants and to the function computed by the while statement are investigated.

Original languageEnglish (US)
Pages (from-to)47-66
Number of pages20
JournalActa Informatica
Issue number1
StatePublished - Apr 1985
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computer Networks and Communications

Cite this