A Generalized Hybrid Hoare Logic

Naijun Zhan, Xiangyu Jin, Bohua Zhan +2

Deductive verification of hybrid systems (HSs) increasingly attracts more attention in recent years because of its power and scalability, where a powerful specification logic for H…