The Prusti Project: Formal Verification for Rust - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vytautas Astrauskas, Aurel Bílý, Jonás Fiala, Zachary Grannan, Christoph Matheja, Peter Müller, Federico Poli, Alexander J. Summers. The Prusti Project: Formal Verification for Rust. In Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez 0001, editors, NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings. Volume 13260 of Lecture Notes in Computer Science, pages 88-108, Springer, 2022. [doi]

This author has not been identified. Look up 'Vytautas Astrauskas' in GoogleThis author has not been identified. Look up 'Aurel Bílý' in GoogleThis author has not been identified. Look up 'Jonás Fiala' in GoogleThis author has not been identified. Look up 'Zachary Grannan' in GoogleThis author has not been identified. Look up 'Christoph Matheja' in GoogleThis author has not been identified. Look up 'Peter Müller' in GoogleThis author has not been identified. Look up 'Federico Poli' in GoogleThis author has not been identified. Look up 'Alexander J. Summers' in Google

runs on WebDSL