activity
20092023
most citedOnline Verification of Control Parameter Calculations in Communication Based Train Control System

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2009Show all

1 paper · 1 filter

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…