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 2010Show all

1 paper · 1 filter

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…