71 citations · 74 across the 2 of their papers we have counts for
2 papers
cs.PL2013★ 3 cited
Alias and Change Calculi, Applied to Frame Inference
Alexander Kogtenkov, Bertrand Meyer, Sergey Velder
Alias analysis, which determines whether two expressions in a program may reference to the same object, has many potential applications in program construction and verification. We…
cs.SE2012★ 71 cited
Loop invariants: analysis, classification, and examples
Carlo A. Furia, Bertrand Meyer, Sergey Velder
Software verification has emerged as a key concern for ensuring the continued progress of information technology. Full verification generally requires, as a crucial step, equipping…