Loop Invariants

Analysis, Classification, and Examples
Thumbnail
Metadata only
Author
Furia, Carlo A.
Meyer, Bertrand
Velder, Sergey
Date
2014
Type
  • Journal Article
Publication status
published
External links
Search via SFX
Journal / series
ACM Computing Surveys
Volume
46(3)
Pages / Article No.
Article 34
Publisher
Association for Computing Machinery
Subject
Algorithms; Verification; Loop invariants; Deductive verification; Preconditions and postconditions; Formal verification
Organisational unit
03594 - Meyer, Bertrand (emeritus)  
Notes
.
More
Show all metadata
Citations
Cited 9 times in Web of Science
ETH Bibliography
yes
Altmetrics