HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic.

Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan

Browse the full FM paper archive.