Towards Automatic Inference of Inductive Invariants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah. Towards Automatic Inference of Inductive Invariants. In Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS 2019, Bertinoro, Italy, May 13-15, 2019. pages 30-36, ACM, 2019. [doi]

This author has not been identified. Look up 'Haojun Ma' in GoogleThis author has not been identified. Look up 'Aman Goel' in GoogleThis author has not been identified. Look up 'Jean-Baptiste Jeannin' in GoogleThis author has not been identified. Look up 'Manos Kapritsos' in GoogleThis author has not been identified. Look up 'Baris Kasikci' in GoogleThis author has not been identified. Look up 'Karem A. Sakallah' in Google

runs on WebDSL