Login / Signup
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
Published in:
COMPSAC (1) (2017)
Keyphrases
</>
imperative programs
event detection
theorem proving
hybrid approaches
multi agent systems
hybrid learning
moment invariants
event recognition
linear logic
pattern recognition
news articles
affine invariant
theorem prover
invariant features