6 citations · 9 across the 3 of their papers we have counts for
3 papers
Lessons from Formally Verified Deployed Software Systems (Extended version)
Li Huang, Sophie Ebersold, Alexander Kogtenkov +2
The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement…
The concept of class invariant in object-oriented programming
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov
Class invariants -- consistency constraints preserved by every operation on objects of a given type -- are fundamental to building, understanding and verifying object-oriented prog…
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…