A proof-based method of hybrid systems development using differential invariants.
Frontiers Comput. Sci., 2018
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
A Formal Framework for Hybrid Event B.
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013