most citedHHLPy: Practical Verification of Hybrid Systems using Hoare Logic

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

collaborators

1 paper

cs.LO2022★ 1 cited

HHLPy: Practical Verification of Hybrid Systems using Hoare Logic

Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan

We present a tool for verification of hybrid systems expressed in the sequential fragment of HCSP (Hybrid Communicating Sequential Processes). The tool permits annotating HCSP prog…