External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Validating Safety Arguments with Lean

Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik. Validating Safety Arguments with Lean. In Radu Calinescu, Corina S. Pasareanu, editors, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings. Volume 13085 of Lecture Notes in Computer Science, pages 23-43, Springer, 2021. [doi]

Authors

Logan Murphy

This author has not been identified. Look up 'Logan Murphy' in Google

Torin Viger

This author has not been identified. Look up 'Torin Viger' in Google

Alessio Di Sandro

This author has not been identified. Look up 'Alessio Di Sandro' in Google

Ramy Shahin

This author has not been identified. Look up 'Ramy Shahin' in Google

Marsha Chechik

This author has not been identified. Look up 'Marsha Chechik' in Google
runs on