An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen. An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. In Sorel Reisman, Sheikh Iqbal Ahamed, Claudio Demartini, Thomas M. Conte, Ling Liu 0001, William R. Claycomb, Motonori Nakamura, Edmundo Tovar, Stelvio Cimato, Chung-Horng Lung, Hiroki Takakura, Ji-Jiang Yang, Toyokazu Akiyama, Zhiyong Zhang 0002, Kamrul Hasan, editors, 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1. pages 138-143, IEEE Computer Society, 2017. [doi]

This author has not been identified. Look up 'Jie Liu' in GoogleThis author has not been identified. Look up 'Jing Liu' in GoogleThis author has not been identified. Look up 'Miaomiao Zhang' in GoogleThis author has not been identified. Look up 'Haiying Sun' in GoogleThis author has not been identified. Look up 'Xiaohong Chen' in GoogleThis author has not been identified. Look up 'Dehui Du' in GoogleThis author has not been identified. Look up 'Mingsong Chen' in Google

runs on WebDSL