An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.

Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen

Browse the full COMPSAC paper archive.