1 citations · 1 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2013
Formal Verification of `Programming to Interfaces' Programs
Jianhua Zhao, Xuandong LI
This paper presents a formal approach to specify and verify object-oriented programs written in the `programming to interfaces' paradigm. Besides the methods to be invoked by its c…
cs.LO2010
Scope Logic with Local Reasoning and Pre/Post-State Properties
Jianhua Zhao, Xuandong Li
This paper presents an extension to Hoare logic for pointer program verification. Logic formulas with user-defined recursive functions are used to specify properties on the program…
cs.LO2009
Scope Logic: Extending Hoare Logic for Pointer Program Verification
Jianhua Zhao, Xuandong Li
This paper presents an extension to Hoare logic for pointer program verification. First, the Logic for Partial Function (LPF) used by VDM is extended to specify memory access using…